On Wed, 2007-05-02 at 09:47 +0100, Jasper Taylor wrote: > 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 >
Oh, thank you very much! Guido _______________________________________________ Bug-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-prolog
