今回は論理型言語Prologのプログラミング練習の2回目です。前回は再帰呼び出しによるループに述語を渡すことで繰り返し処理を記述する方法を考えてみました。今回は、述語Pをブロック構造として考えた場合、ループはどうなるかを考えます。また ...

Picat is a new logic-based programming language. In many ways, Picat is similar to Prolog, especially B-Prolog, but it has functions in addition to predicates, pattern-matching instead of unification ...

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