Viral Parekh (viral1@gl.umbc.edu)
Tue, 11 Feb 2003 19:08:35 -0500
On Mon, 10 Feb 2003, Csaba Rozgonyi wrote:
Hi,
I checked the sicstus manual. Negation is defined as "\+". For eg.
not(X=Y) is written as \+(X=Y)
I hope this solves your problem.
Viral Parekh
> 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
>
This archive was generated by hypermail 2.0b3 on Tue Feb 11 2003 - 19:08:45 EST