問題タブ [xsb]
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.
unit-testing - XSB Prolog での単体テスト?
XSB Prolog を使用している人々はどのように単体テストを行っていますか? 利用可能なライブラリはありますか? plunitそれともSWI-PrologのライブラリをXSBで何とか使えないのでしょうか？
XSB (または と互換性のない他の Prolog plunit) 用の利用可能なテスト ライブラリがない場合、この質問のバリエーションは次のようになります: Prolog コードをどのようにテストしますか? お気に入りのパターンをテストに使用しますか?
prolog - XSBPrologの半順序の表
XSBバージョン3.3.5マニュアル（「PartialOrder AnswerSubsumption」から）の例を試しています。
そして、私は得ています
何が問題なのですか？
また、エラーはありません
data-structures - XSB Prolog の heaps.P ライブラリはどこにありますか?
XSB ドキュメントには、マニュアル ボリューム 2 セクション 1.16.5 に、ヒープ データ構造ライブラリに関する段落があります。しかし、ソース、バージョン履歴、または Google 経由で、ライブラリの兆候を見つけることができません。このライブラリが実際にまだ存在するかどうかのアイデアはありますか?
私が持っている唯一のリードは、明らかに同じオリジナルから供給されている logtalk のライブラリです。しかし、私は Prolog で作業しているので、logtalk を Prolog に移植する必要があります。
java - Eclipse XSB InterProlog Setup
I'm trying to set up InterProlog in eclipse.
My path variable already has the path to jdk1.7 and I already have xsb installed. I attached interprolog.jar as an external jar, added the xsb to my path variable (C:\Users\MyName\config\x86-pc-windows\bin), and I added the path to my xsb bin to the NativeEngine constructor (See below).
When I run the HelloWorld program:
I get (from the first line):
Any ideas on how to solve? Thanks :)
prolog - XSB 無手続き適用/2
HiLog に入ろうとしているのですが、最初から行き詰っています。最も教科書的な例に煮詰めたとしても：
コンパイラー barfs :
確かに非常に基本的なものが欠けています ( apply は本当にインポートする必要がありますか? もしそうなら - どこから? )
prolog - Prolog無限ループ
これは、誰がjohnと互換性があるかを調べる必要があるプログラムです。私はPrologを初めて使用します。Prologに知らせるために例えば。met（X、Y）= met（Y、X）たくさんのコードが書かれています。クエリを開始すると
それは無限のループに入ります...
ソースコード：
私はこれまで多くのことを研究してきましたが、何が問題で、どのようにそれを修正するのかまだわかりません。私を助けてくれるといいですね。
prolog - PrologのReturnレスポンスを変更
私はプロローグでのプログラミングの初心者です。
標準の yes または no の代わりに true / false を返すように、プロローグ プログラムによって返される値を変更したいと考えています。
非常に単純な例を考えてみましょう: 例 simple.P
プロローグのコマンド ラインで isNode(1) と入力すると、次のように yes が返されます。
私の質問は:
これを yes から true に変更するにはどうすればよいですか?
prolog - HiLog 用語は、現代の Prolog でもまだ有用ですか?
Hilog ターム (つまり、ファンクターとして任意のタームを持つ化合物) は、XSB Prolog (またはその他の Prolog) の強力な機能とみなされますか? 現在、この機能を使用している XSB プロジェクトは多数ありますか? たとえば、どれですか？
私が理解している限りでは、ISO 組み込みの call/N を使用して高次のプログラミングが同様に可能であるため、質問します。
具体的には、XSB が単に歴史的な理由で Hilog 用語を使用しているのか、それとも現在の ISO 標準と比較して Hilog 用語にかなりの利点があるのかを理解したいと思います。
vim - Vim ユーザー向けの Prolog サポート
XSBを使ったPrologプログラミングから始めています。
(XSB) Prolog に提案する vim エディター用の構文強調表示スクリプトまたはプラグインは何ですか?
list - XSB プロローグ: 独自の setof 関数を作成する
XSB プロローグで inbuild setof (またはその他の inbuild 関数) を使用せずに、キーボード入力 (リスト) から重複のないリストを取得する必要があります。
独自の setof 関数を作成するにはどうすればよいですか?
入力と出力は次のようになります。
前もって感謝します。