Geek Answers Handbook

Why doesn't gnu proog support a false predicate? (I switched to swi)

I am using gprolog thingy to perform some actions in the prolog. But now, while testing another code, I found that it does not support "false". What is swi supported?

+4
source share
2 answers

Use fail instead of false . I believe the first one is compliant with the ISO standard for Prolog. Otherwise, define it yourself:

 false :- 0=1.

or

 fail :- 0=1.
+8
source

Recent versions of GNU Prolog (1.4.0) support false/0 .

false/0 not defined in the original 1995 ISO standard, but part of Cor.2: 2012 .

+4
source

More articles:


All Articles