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

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

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

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

PLP のデータとなる項を定義します。 記号の有限集合 があってその元を定数と呼びます。定数は項となります。 記号の可算集合 があってその元を変数と呼びます。変数は項となります。 記号の有限集合 があってその元を関数と呼びます。関数 に対して という…

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

以下(からまでの議論)を見てみます。 を証明するには 、、、、…のすべてを証明するか、または 、、、、…のすべてを証明するか、または 、、、、…のすべてを証明するか、または… 、、、、…のすべてを証明すれば十分ということがわかります。 ここで は述語式 …