エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2020-01-18から1日間の記事一覧

論理プログラミング(5)

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

論理プログラミング(4)

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