PLP のプログラムは形としてはPrologのプログラムで、実行順序のないものとします(以下で少しずつどういうことか説明していきます)。PLPのプログラムは論理的には という論理式と考えることができます。ここで は という形の式とします。 は述語、各 は項ま…

PLP の述語 集合 (述語の項を表す)とブール代数 (PLPの結果の成功または失敗を表す)に対して を(項の)述語と呼びます。 これを拡張して可算集合 (変数を表す)に対して としたものも述語と呼びます。 有限個の述語の集合を とおきます。 の各元 に対して とい…