Hello all,
I'm learning prolog from a book based around LPA prolog and it has mentioned the predicate 'not'. I cannot find the gprolog alternative to this in the documentation.
It operates as such
| ?- car(toyota).
yes
| ?- not(car(toyota)).
no
| ?- not car(toyota)).
no
| ?-
What is this predicate in GNU prolog?
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Hello all,
I'm learning prolog from a book based around LPA prolog and it has mentioned the predicate 'not'. I cannot find the gprolog alternative to this in the documentation.
It operates as such
What is this predicate in GNU prolog?
not/1 is not an ISO predicate. Use + instead.