|
| 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 !
You could define a not/1 predicate as:
not(Goal) :-
\+ call(Goal).
more, l8r, v
| [Prev in Thread] | Current Thread | [Next in Thread] |