prolog

4熱

3答えて

gist.githubには、プロローグの構文ハイライトテーマはありません。プロローグの構文に本当に近いものには、どのような言語を選択する必要がありますか？そして、プロローグで何が問題になっていますか？それは本当に使えないのですか？

2熱

1答えて

YAPにSWI初期化ファイル "〜/ .plrc"があるかどうか疑問です。私はYAPをロードする前にfile_search_path/2でいくつかのディレクトリを定義したいと思いますが、どこでそれを行うべきかはわかりません。ご協力いただければ幸いです。私.yaprcで

3熱

2答えて

Prolog述語は2つの目標のブールORとして定義されていますか？

私は、その目標のいずれかが証明可能である場合に「真」と評価されるPrologで述語を作成する方法を知っています。私はこのプログラムがあります。私が入力した場合、プロローグにそれを相談した後 adjacent(place1, place2). distance(X, Y, 1) :- adjacent(X, Y) ; adjacent(Y, X). を： > distance(pl

1熱

1答えて

プロローグでリストを逆転させるとランタイムエラーが発生する

オンラインの学習練習/チュートリアルの後、私は簡単なプロローグプログラムを実行しているときに蛇腹エラーが発生します。 testReverse :- transImage(reserseList,'imageIN.pgm','imageOUT.pgm'). transImage(R,In,Out) :- read_pgm(In,PGM), transf_pgm(R,

3熱

3答えて

javaでprologを使うには？

例を挙げて助けてください。私は2つの数字を足し合わせた簡単なPrologプログラムを作成したいと思います。そして、Javaプログラムはそれをコンソールに書き込みます！したがって、Prologが追加され、Javaプログラムが結果を書いています。私はプロローグで追加を書くことができますが、私はjavaでprologプログラムを呼び出す方法を知らない。 =（、この小さな例を作成することができ、誰かが、そ

1熱

1答えて

変数の表現

私はを使用して私が変更する用語、例えばa(t1,t2,t3)を持っています。それから私は、用語の変数を抽出する必要がありますが、変数のように表示されます。 a('$VAR'(0),'$VAR'(1),'$VAR'(2)) 問題はprologが変数としてこれらの用語を認識していないようだということです。 ?- term_variables(a('$VAR'(0),'$VAR'(1),'$VAR'

2熱

1答えて

Prolog DCGをtail-recursiveに拡張してこのコードを生成しますか？

次のコードは、Find w/Replaceのすべての数字をRequest &に置き換えるDCGです。答えはResultです。マットのおかげで、コードはthis questionになりました。 eos([], []). replace(_, _) --> call(eos), !. replace(Find, Replace), Replace --> Find, !,

0熱

1答えて

プロローグの再帰オーバーフロー

fact(1,1):-!. fact(N,F):- N1=N-1, fact(N1,F1), F=F1*N. これは（サイトではなく）スタックオーバーフローにつながります。それはカット（！）のためにではありません。それはSWI-Prologで動作しますか？

-1熱

1答えて

プロローグに関する挑戦的なリストの質問

私はプロローグの新機能です。この問題を解決するために私を助けてください。試験（math、paul）試験（phys、paul）試験（cmpe、sofia）試験（bio、george）述語otherExam（L、N）を実装したいと思います。 Lはレッスンであり、NはL. otherExam（math、X）の生徒が所有するすべてのレッスン（Lを除く）のリストです。 [phys] otherEx

2熱

2答えて

Prolog - このプログラムのしくみ

私はこのプログラムをプロログ言語で書いています。問題は、どのように動作するのかわかりません。 even_number([],[]). even_number([H|T],S):-even_number(T,W),Z is H mod 2,Z==0,S=[H|W]. even_number([_|T],S):-even_number(T,S). リストから偶数を抽出して別のリストに格納する