問題タブ [unification]
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.
recursion - Prolog での再帰規則と統一を理解する
私は「LearnPrologNow!」に続く Prolog の初心者です。チュートリアルのセット。概念と語彙を把握するために最善を尽くしています。この問題が提示されたとき、再帰的定義に関する第3章までのすべてを理解できました。
与えられたクエリ
これで、プログラムの考え方は、Prolog がこのシステムで次のような順序で数を数え始めるということであることがわかりました。
しかし、毎回「縮小」して上昇する原因がわかりません。プログラムが X のクエリを統合しようとしているという点で、統合の原則は理解していますが、再帰規則を 1 回だけ実行してからゼロを返す必要がありますか? クエリの周りに succ()を追加できるのは何ですか? それは逆方向に再帰規則をトラバースしていませんか?
substitution - 論理的帰結、普遍閉包、置換、一階論理、統一
誰がそれを示すのを手伝ってくれますか:
式 F のインスタンスの普遍閉包は、F の普遍閉包の論理的帰結です。
ありがとう。
prolog - prolog 単一引用符 (') の統合
変数 X を '*' で統一しようとしています (引用符を含めて、合計 3 シンボルの文字列) 私がやっていることは単純ですX='*'.が、その結果、X の値は になります*。に行くとX=''*''.、結果はX=''*''です。私は混乱しています、どうすれば達成でき'*'ますか？