prologには方言が多い。ISO述語ならば統一されているかと思いきや、そうでもないようだ。少々、両者を比較してみる。 atom_concat/3 (アリティはアトムを想定。なので数値は不可のはずだがSWIではくっついてしまう。まあ、よいことなのかもしれないが ...
Tabled logic programming was invented by David and has since been copied by various Prolog systems and extended in several directions in XSB to deal with scalability and soundness. Sponsored by Kyndi ...
このシリーズでは、論理型プログラミング言語として、人工知能用に開発されたPrologを学んでいます。今回はPrologを用いて文の生成と文の解析を考えてみたいと思います。構文規則を記述することで容易にこれらのことができます。それでは、始めましょう。
ここでは図4で示す迷路を解くプログラムを掲載した。1985年8月号BYTE誌に掲載したものを本誌で変更を加えたもの。Cuadrado, C. Y., Cuadrado, J. L.,“Practical Prolog，”BYTE，pp.151-158，vol.10, no.8. 関係の定義だけなら「推論」が必要 オブジェクト指向を突き詰めて考えれば ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する