iso-prolog

-1熱

1答えて

入力： run([p(X,Y,Z),h(Z,P,Q)],Out). コード：SWIのプロローグに :- ensure_loaded(library(lists)). run([X|Y],Out) :- X =.. [Fct|Args], X =..Total, length(Args,L), concat(abs_,L,Fct_A), Ou

3熱

1答えて

プロローグFunctor - コンピューティングx^y

私はプロローグには新しく、プログラミング方法を学ぶために試しています。私は両方とも整数であるPrologでx^yを計算する方法を知りたい。これを試してみてください % exp(y,x,z) <- z is x**y

2熱

2答えて

Prologの中置演算子の定義

最近、Prologについて学習しています。中置演算子を定義するために使用される3つの型が混乱しています。演算子の型を指定するときのxfx、xfy、yfxの違いは何ですか？私はこの問題について捜したことがあり、役に立たないものは何も見つかりませんでした。 Iは、Prologで以下のコード入力しようとした： :- op(500,yfx,is_alive). is_alive(A,B) :- di

1熱

1答えて

appendAll - リスト内のすべてのリストにリストを追加する

リスト内のすべてのリストにリストを追加する方法を見つけようとしています。以下のような何か：私はまだプロローグおよびネストされたリストに新たなんだ appendAll([a,b],[[q,w],[z,x]],X). X = [[a,b,q,w],[a,b,z,x]]. はかなり私を投げています。私は今、数時間のために、このを見つめてきた： appendAll([], _, []). ap

2熱

3答えて

Prologで述部を定義する最良の方法

Prologでプロシージャーを定義する際に問題があります。私は2つのソースファイルを持っており、両方ともPrologエンジンに相談したいと思っています。これは、swipl -g "['1.pl'、 '2.pl']としてPrologを呼び出すことで実行できます。両方のファイルは別のプログラミング言語で書かれた別のプログラムによって生成されており、私はあらかじめファイルの正確な内容を予測すること