2020-01-16から1日間の記事一覧
Prologのプログラムでは否定を扱うことができないため、Prologのデータは分配的な束と考えることができます。これは可換な冪等半環で加法に関しても乗法に関しても分配的なものと考えることができます。 ここでは PLP のデータをまず半環として数学的に定義…
Prologのプログラムでは否定を扱うことができないため、Prologのデータは分配的な束と考えることができます。これは可換な冪等半環で加法に関しても乗法に関しても分配的なものと考えることができます。 ここでは PLP のデータをまず半環として数学的に定義…