[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

How to use not in gprolog?

From: Carfield Yim
Subject: How to use not in gprolog?
Date: Tue, 30 Oct 2001 21:03:02 +0800 (HKT)

Hi, I need to find the negation of a clause, e.g.:

e.g: if Z is a member of list T and Y is not a member of T, member(Z,T) should 
return true and member(Y,T) should return false.
I would like to get the negation of this clause, i.e.: not(member(Z,T))
return false and not(member(Y,T)) return true. But it doesn't work. So I
try member(X,T)\=true. and once(member(X,T))\=true. But both don't work.

So I would like to ask how to get the negation of a clause?


Carfield Yim, visit my homepage at

reply via email to

[Prev in Thread] Current Thread [Next in Thread]