2020-01-15から1日間の記事一覧
実行順序を考えない論理プログラミングを PLP と書くことにします。(ピュア論理プログラミングの意味。以前の記事で CLP (並行論理プログラミングの意味)と書いていましたがわかりにくいので変更) この PLP を代数的に、半環を使って定義します。半環を使う…
実行順序を考えない論理プログラミングを PLP と書くことにします。(ピュア論理プログラミングの意味。以前の記事で CLP (並行論理プログラミングの意味)と書いていましたがわかりにくいので変更) この PLP を代数的に、半環を使って定義します。半環を使う…