Alg*_*fic 4 prolog gnu-prolog iso-prolog
我一直在使用gprolog thingy在prolog中做一些事情.但现在在测试更多代码时,我发现它不支持"假".哪个是swi支持的？
用fail而不是false.我相信前者是Prolog的ISO标准.否则,自己定义:
false :- 0=1.
要么
fail :- 0=1.