問題タブ [instantiation-error]

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.

0 投票する
0 に答える
121 参照

prolog - この Prolog Caliban の問題を解決する際のインスタンス化の問題

Prolog を使用して、次のキャリバンの問題を解決しようとしています。

ブラウン、クラーク、ジョーンズ、スミスは、必ずしもそれぞれではありませんが、技術者、銀行家、医師、弁護士としてコミュニティに奉仕する 4 人の実質的な市民です。ジョーンズより保守的だがスミスよりリベラルなブラウンは、彼より年下の男性よりもゴルフが上手で、クラークより年上の男性よりも収入が多い. 建築家より稼いでいる銀行家は最年少でも最年長でもない。医者は弁護士よりもゴルフが下手ですが、建築家ほど保守的ではありません。予想通り、最年長の男性が最も保守的で最も収入が多く、最年少の男性が最高のゴルファーです。それぞれの職業は?

このコードをオンラインで見つけて、自分で実行しようとしています:

>/2: Arguments are not sufficiently instantiatedしかし、?-solutions(L) で実行すると取得し続けます。

誰でもこの問題の解決策を持っていますか?