2015-10-29から1日間の記事一覧
少し説明を追加しておきます。CLPのプログラムを「論理式を他の論理式に変換するもの」(1ステップの変換)と考えたものを「構文」、その1ステップの変換を無限に繰り返すことによって、CLPプログラムを「論理式を実行結果に写す写像」と考えたものを「効果」…
少し説明を追加しておきます。CLPのプログラムを「論理式を他の論理式に変換するもの」(1ステップの変換)と考えたものを「構文」、その1ステップの変換を無限に繰り返すことによって、CLPプログラムを「論理式を実行結果に写す写像」と考えたものを「効果」…