問題タブ [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.
eclipse - XSB プロローグのエラーについて
どんな単純なコードでも、Eclipse IDE を使用して Xsb プロローグで実行しています。次のようなエラーが表示されます。
++Error[XSB/Runtime/P]: [存在 (手続きなし usermod : demo / 1 存在)] []
前方継続...
誰かがこれを認識している場合は、解決策を教えてください。
prolog - DTD を Datalog プログラムにマップする
特定の DTD に相当する Datalog プログラムを作成するのを手伝ってくれる人はいますか?
DTD :
また、dtd を対応するデータログ プログラムに変換する際に従う必要がある特定の規則はありますか?
path - Cygwin で XSB を実行するにはどうすればよいですか?
cygwin64 で xsb を実行してみました
$PATH
cygwin で xsb を実行するにはどうすればよいですか? 手伝って頂けますか。
graphviz - Mulval: インストールのセットアップ
このドキュメントに従って、自分のマシンに mulval をインストールしようとしています:
http://people.cis.ksu.edu/~xou/argus/software/mulval/readme.html
しかし、XSB、ドット、Mulval のパスを変更する方法がよくわかりません。「make」を実行しようとすると、次のエラーが発生します。
このインストールを完了するためのヘルプはありますか?
前もって感謝します！
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 番目の句に降りてきます。
理由はありますか？
prolog - xsb 述語が既に定義されている場合、「No procedure usermod」
だから私のファイルには
これをコマンドラインで直接実行すると、
ただし、ファイル自体をロードして関数を実行するとエラーが発生します
なぜこれが当てはまるのか、これを修正する方法はありますか？これは、ファイル内の他の述語でも発生します。