Of course I am aware of \+ and have used it - I can read, Sir. But
the manual description is inadequate and inconsistent.
My statement was that gprolog is missing a not(<predicate>)
operator. Pretty basic stuff, and easier to type than \+.
Vic Bancroft wrote:
On Thu, 8 Jan 2004, Ron Stodden wrote:
gprolog does not support a 'not' operator.
Have you looked at the \+ built-in operator ?
It does pretty much what Violetta once suggested coding as,
not(P) :- P, !, fail ; true.
more,
l8r,
v
--
Ron. [Melbourne, Australia]
"If you keep a green bough in your heart, the singing bird will come"
Get Fastest Mandrake downloader, English-only, from:
http://members.optusnet.com.au/ronst/ <--- Last Change 2nd November!
|