|
From: | Vic Bancroft |
Subject: | Re: problems with not and unasserted facts |
Date: | Wed, 31 Aug 2005 07:13:18 -0400 |
User-agent: | Mozilla Thunderbird 1.0.2-6 (X11/20050513) |
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 !
Hey Lindsey, don't you have a compatibility library of predicates around somewhere ?You could define a not/1 predicate as: not(Goal) :- \+ call(Goal).
more, l8r, v
[Prev in Thread] | Current Thread | [Next in Thread] |