問題タブ [occurs-check]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
16 問題
0
投票する
2
に答える
705
参照
prolog - プロローグのマッチング vs ミニカンレンの統一
Prolog - Programming for Artificial Intelligence で、Bratko は 58 ページで次のように述べています。
「Prolog でのマッチングは、論理の統一と呼ばれるものに対応します。ただし、ほとんどの Prolog システムでは効率上の理由から、マッチングは統一に正確に対応しない方法で実装されるため、統一という言葉は避けます。適切な統一には、そのようにする必要があります。 -呼び出された発生チェック: 与えられた変数が与えられた用語で発生しますか?発生チェックはマッチングを非効率にします."
私の質問は、miniKanren での統合がこの効率の低下に悩まされているかどうか、またはこの問題はどのように解決されているかということです。