swi-prolog

5熱

1答えて

PHPスクリプトを使用してPrologを呼び出そうとしています。 $cmd = "nice -n15 /software/bin/pl -f /home/popx/cgi-bin/test.pl -g test,halt"; 私はプロローグがインストールされている場所プログラム/bin/plであり、/home/popx/cgi-bin/test.plが協議されるファイルの場所である：私は私がh

0熱

1答えて

jplでリスティング機能を呼び出す

「リスティング」を管理していた人がいるかどうかは疑問でした。 JPLのPrologナレッジベースの内容を調べるコマンドですか？ JPLではクエリを作成する必要があり、クエリで設定した変数に基づいてソリューションを返します。例（Java）の場合： Query q = new Query("holdsAt((X,Y) = true, 3)"); while (q.hasMoreSolutions()

14熱

4答えて

SWI-Prologの - ショー長いリスト

私はSWI-Prologのを使用していると私は、リストを印刷しようとしているが、リストが9つの以上のアイテムを持っている場合 - [1, 15, 8, 22, 5, 19, 12, 25, 3|...] がある - それはそのように見えます全体のリストを表示する方法？ http://www.swi-prolog.org/FAQ/AllOutput.html 簡単な解決策は、すなわち、答えが与え

0熱

1答えて

swi_prolog C++プログラムを呼び出す

私はC++プログラムを持っています。プロローグプログラムで関数やメソッドを呼び出すには、C++プログラムを使用します。私はこれに新しいですし、いくつかのチュートリアルがあれば、私はリンクを感謝します。おかげ

2熱

3答えて

/0未定義手順はセーブ/ 1

SWI-プロローグ私は、このプロローグプログラムを入力した5.10.2 。私はオプションAを実行したときしかし、私は次のエラーを取りに行きます。 go/0 Undefined Procedure save/1 保存は適切なキーワード述語であり、ファイルへのパスも存在すると確信しています。私がどこに間違っているのか分かりません。 What does the /0 /1 mean in go an

0熱

1答えて

Prologで私の算術関数を定義しますか？

sum([],0). sum([H|T],S) :- sum(T,X),S is X+H. mean([],0). mean(L,M) :- sum(L,S),length(L,L1),M is S/L1. :-arithmetic_function(mean/1). when i try ?- mean([1,2,3,4],X). それは私が ?- X is mean ([1,

2熱

1答えて

（swi）プロローグのようなless-likeページャ

unixの典型的なワークフローは、lessのようなページャで終わるフィルタのパイプラインを使用することです。例えば。今 grep | sed | awk | less を（引数を省略）、SWI-プロローグのコマンドラインでの一般的なワークフローの一つは、それは容易に私を与え foo(X),bar(X, Y),qux(buz, Y). のように与えられた組み合わせのためのソリューションのセッ

5熱

1答えて

ウィンドウでJPL（双方向Java/Prologインターフェース）を使用するにはどうすればいいですか？

私はJavaでPrologインタプリタを埋め込むことに興味があります。 1つのオプションはJPLを使用していますが、JPLサイトのダウンロードリンクが壊れており、installation pageには見つからないjpl.zipが記載されています。私はSWI-PrologをダウンロードしてJPLをインストールしたようですが（インストール時にコンポーネントとして表示されますが）、Javaと一緒にどのよ

1熱

1答えて

XPCEチュートリアルを探す

XPCEで簡単なアニメーションを書くつもりです（正確にはfour glasses puzzle）。 XPCEについては何も知りませんので、チュートリアルを参照しましたが、結果は残念です。誰もが次のいくつかの材料に私を指すことができます：「キャンバス」アニメーションタイマー EDITでの作業：さて、ここではより詳細な問題だ：私がしたいです2つのボックスを描き、2秒待って、ボックスを隠してから、

7熱

2答えて

Predsort/3 like msort/2

predsort/3を重複した値を失うことなく使用することは可能ですか？そうでない場合、この用語リストをどのように並べ替えるべきですか？現在のソート機能： compareSecond(Delta, n(_, A, _), n(_, B, _)):- compare(Delta, A, B). 結果：あなたが見 predsort(compareSecond, [n(3, 1, 5)