Lindsey Spratt wrote:
not/1 is not a built-in in gprolog. Instead, use \+ / 1.
This seems to be the most common issue introduced by the ISO prolog definitions !
You could define a not/1 predicate as:
not(Goal) :-
\+ call(Goal).
more, l8r, v _______________________________________________ Users-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/users-prolog
