[Top][All Lists]

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

Re: not()

From: Jasper Taylor
Subject: Re: not()
Date: Wed, 2 May 2007 09:47:24 +0100
User-agent: KMail/1.9.6

On Tuesday 01 May 2007 18:14:00 Guido Leisker wrote:
> I created a file test.pro:
> ---test.pro---
> female(anita).
> male(X) :- not(female(X)).
> --------------

It is not a bug. The GNU-prolog manual does not mention a not() predicate. The 
unary operator \+ does negation-by-failure, so your program should be:

male(X) :- \+ female(X).


reply via email to

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