問題タブ [clpr]
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.
error-handling - 引数はプロローグで十分にインスタンス化されていません
このコードを実行しようとしていますが、このクエリを使用すると常にこのエラーが発生します。gp174(P, S).
ERROR: >=/2: Arguments are not sufficiently instantiated.
これが私のコードです：
私は何をすべきか？
clprライブラリをどこにロードする必要がありますか？
xsb - clpr 制約に関する XSB Prolog メタインタープリターの問題
Mac (El Capitan 10.11.2) で XSB Prolog を実行しています: XSB バージョン 3.6。(Gazpatcho) 2015 年 4 月 22 日の [i386-apple-darwin15.2.0 64 ビット; モード: 最適; エンジン: slg-wam; スケジュール: ローカル] [ビルド日: 2016-01-17]
私は clpr パッケージを使用していて、ちょっとしたメタインタープリターを書きたいと思っています:
ただし、try({X=1+2})機能しません。4 番目の句に一致せず、5 番目の句に降りてきます。
理由はありますか？
recursion - Prolog を使用した CLP(R) での再帰関数の正しい書き方
Prolog で CLP がどのように機能するかについて、私は非常に混乱しています。利点を理解するのが難しいだけでなく (特定のケースではそれを理解できますが、それらを一般化するのは難しいと思います)、さらに重要なことに、再帰述語を正しく記述する方法をほとんど理解できません。次のうち、CLP(R) の方法で正しい形式はどれですか?
また
言い換えれば、いつ制約外にコードを書くべきかわかりません。PrevN私には、最初のケースの方がより論理的に見えるでしょうNewF。しかし、それが本当なら、再帰関数の制約の外側で述語を使用することがどのような場合に役立つかを知りたいです。