prolog

0熱

1答えて

私はフライトに関する事実のリストを持っていますが、ある都市からリストの都市へ順番にすべてのルートを返す予測を書くにはどうすればいいですか？例えば、romeから[moscow, amsterdam]までのすべてのルート。 flight(london,dublin). flight(rome,london). flight(rome,paris). flight(paris,dublin).

0熱

1答えて

プロローグ：リスト間で要素を移動

私はちょうどプロローグの学習を開始し、リストに関連する問題を処理するのは難しいと思う。私にリストがある場合。このリストの中には、3つの内部リストがあります。私は、Xが、私は（この文字は、内側のリストの最後の要素である必要があります移動したい文字である「移動（、に、RからL、X）」と呼ばれる述語を記述する必要が [[a,b,c], [d,e,f],[h,g]] ）、Fromは移動したいリストの

1熱

1答えて

巨大数値のプロローグを扱います

私はプロローグと一緒に作業しています。私は膨大な数値を扱う必要があります（プロローグは数字を扱うように設計されていません）。すでに有限の境界を持たない任意の入力変数が10000000 への-10000000デフォルトの境界が与えられます：fd_global:ordered_sum\2が言うように、私は、Eclipse 6.1と述語に建てられたいくつかのドキュメントを使用しています10000000

2熱

1答えて

tolowercase実装プロローグでエラーを修正するには？

私はプロローグでtolowerの実装を作成しようとしていますが、私はエラーが発生し続けており、意味が分かりません。 ?- tolower("HE",L). ERROR: tolower/2: Undefined procedure: (+)/2 これまでのところ私の実装です。 tolower([], _). tolower([H|T], L):- H + 32, tolower

0熱

2答えて

Swi-Prolog：静的プロシージャ `（;）/ 2 'を変更する権限がありません

こんにちは:)初心者からプロローグ。（;）/ 2' が間違って何 `静的な手順を変更する権限がありません：これはエラーを生成 dog(rex). owns(bill,rex). animallover(X):-owns(X,Y),dog(Y). not(beat(X,Y)):-animallover(X),isAnimal(Y). beat(bill,tom);beat(bull,tom

3熱

1答えて

私の述語がプロローグでリストのリストを返すのはなぜですか？

私は、この述語は要素の単一のリストを返すことになっています。しかし、それはリストのリストを返すので、私はなぜそれがわかりません。 english2133t([],[]). english2133t([H|T], [R|E]):- translate([H],R), english2133t(T,E). 翻訳あなたは文字コードを統一するために、リストにHを囲むのと同じように、あなたは

1熱

1答えて

ポイントが矩形上にあるかどうかを調べる

こんにちは私はポイントがPrologを使って矩形上にあるかどうかを調べようとしています。ここで（ULX、ULY）は矩形の左上の点であり、（LRX、LRY）は矩形の右下の点であり、（X、Y）は形状上にあるかどうかを確認するための点です。私はこれを試してみましたが、私はエラーを取得保管ケースにそれらを分離するので、私は疲れて on(point2d(X,Y), rectangle(point2d(UL

0熱

1答えて

中間変数の割り当てを取得する

部屋の状態を表すためにPrologを使用しようとしています。私は一連のルールと一連の事実を持っていますが、事実のいくつかはで定義されていません。たとえば、部屋の温度は、の冷却または窓の開放のために低下することがありますが、窓センサーがないことがあります。 % Rules temperature_trend(decrease) :- cooling(on). temperatu

0熱

1答えて

SWI Prolog-構文エラー、演算子プライオリティの衝突

私は四角形が四角形と交差しているかどうかをチェックする関数を作成しようとしています。私は複数のテストケースを持っていますが、最初のテストケースを示していますが、最初のテストケースでも "オペレータ優先順位の衝突"エラーが続きます。これは、私が数学を二重にチェックしても、すべての場合がfalseとして返される結果になり、この最初のケースではtrueを返します。私は間違って何をしていますか？ inte