negation

Csaba Rozgonyi (csaba1@umbc.edu)
Mon, 10 Feb 2003 21:07:04 -0500

• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Viral Parekh: "Re: negation"
• Previous message: Tim Finin: "make up class"
• Next in thread: Viral Parekh: "Re: negation"

Hello,

I had the same problem on sicstus, it doesn't seem to have the not procedure
defined. I actually did the homework in SWI-Prolog which had no problems
with not(X=Y).

Csaba

• Next message: Viral Parekh: "Re: negation"
• Previous message: Tim Finin: "make up class"
• Next in thread: Viral Parekh: "Re: negation"

This archive was generated by hypermail 2.0b3 on Mon Feb 10 2003 - 20:58:28 EST