prolog - gnu prolog が「false」述語をサポートしないのはなぜですか? （私はswiに変更しました）

Question

私はプロローグでいくつかのことをするためにgprologのことを使ってきました。しかし、さらにコードをテストすると、「false」がサポートされていないことがわかりました。swi でサポートされているのはどれですか?

Answer 1

failの代わりに使用しfalseます。前者は Prolog の ISO 標準にあると思います。それ以外の場合は、自分で定義します。

false :- 0=1.

また

fail :- 0=1.

Answer 2

GNU Prolog (1.4.0) の最近のバージョンは をサポートしていfalse/0ます。

false/01995 年の元の ISO 標準では定義されていませんが、Cor.2:2012 の一部です。