[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:
female(anita).
male(X) :- \+ female(X).
Cheers
--Jasper
- not(), Guido Leisker, 2007/05/01
- Re: not(),
Jasper Taylor <=