prologには方言が多い。ISO述語ならば統一されているかと思いきや、そうでもないようだ。少々、両者を比較してみる。 atom_concat/3 (アリティはアトムを想定。なので数値は不可のはずだがSWIではくっついてしまう。まあ、よいことなのかもしれないが ...

ここでは図4で示す迷路を解くプログラムを掲載した。1985年8月号BYTE誌に掲載したものを本誌で変更を加えたもの。Cuadrado, C. Y., Cuadrado, J. L.,“Practical Prolog，”BYTE，pp.151-158，vol.10, no.8. 関係の定義だけなら「推論」が必要 オブジェクト指向を突き詰めて考えれば ...

このシリーズでは、論理型プログラミング言語として、人工知能用に開発されたPrologを学んでいます。今回はPrologを用いて文の生成と文の解析を考えてみたいと思います。構文規則を記述することで容易にこれらのことができます。それでは、始めましょう。

Prolog is a logic programming language developed in the early 1970s that is about objects and relationships between objects. It aims to be a declarative programming language, i.e. Prolog programs ...