問題タブ [failure-slice]

私の投稿の最後のコードは、次のパズルに答えるはずです:

ブラウン、クラーク、ジョーンズ、スミスは、必ずしもそれぞれではありませんが、技術者、銀行家、医師、弁護士としてコミュニティに奉仕する 4 人の実質的な市民です。ジョーンズより保守的だがスミスよりリベラルなブラウンは、彼より年下の男性よりもゴルフが上手で、クラークより年上の男性よりも収入が多い。建築家より稼いでいる銀行家は、最年少でも最年長でもない。

医者は弁護士よりもゴルフが下手ですが、建築家ほど保守的ではありません。予想通り、最年長の男性が最も保守的で最も収入が多く、最年少の男性が最高のゴルファーです。それぞれの職業は？

コード：

しかし、実行するとfalseが返されます！

誰か助けてくれませんか？

私は Prolog を初めて使用し、完全に機能する魔方陣プログラムを作成しようとしていますが、正直なところ、どうすればよいかわかりません。始めたのですが、やり方が間違っていると感じています。私は自分のコードを共有しています。誰かが私を助けてくれることを願っています。数字が良いときは真実になりますが、そうでないときはスタックエラーのようになります...（ここでは、斜めに知っている行と列のみをチェックしていますチェックしてください）ご清聴ありがとうございました！

Prolog にレーベンシュタイン距離を実装しようとしています。

実装は非常に簡単です。

ただし、このコードは次のエラーで失敗します。

SWIPLで実装を使用していMac OS X Sierraます。

ロジックの問題を解決するために、Prolog で STRIPS Planner を定義しました。他のより単純な問題で数回試した後、より複雑な問題を解決できるかどうかを確認することにしました。私は彼にペグ ソリティアの STRIPS 定義、英語版を与え、斜めの動きができないことを考慮し、最後のボールがボードの中央に移動してそれを試してみましたが、プログラムがループに陥りました。ここに問題があります: https://en.wikipedia.org/wiki/Peg_solitaire

これが私の解決策です：

1 つまたは 2 つの移動を行うだけで目標を単純化しようとしましたが、これは 1 つに対して機能し、2 つの移動が互いに矛盾しない場合 (既に移動されたビー玉を通過して 2 つの移動でループに入るなど) です。彼らがそうするとき、上記の目的のように：

objectivos([ボール(4,5)、空(3,5)、空(5,5)、空(6,5)])。

トレースとデバッグを試みましたが、Planner 自体ではなく、問題の定式化にあると考えていますが、問題を見つけることができないようです。何か案は？

私の意図は、Prolog で推移性の簡単な例を (自分用に) 実装することでした。

これらは私の事実です：

私はこの述語を書いて、 trusts かどうかを確認Aしました。CBCAB

述語はたとえばtruefortrusts(p1, p2)またはを返しますが、すでに を返しています。trusts(p1, p5)trusts(p5, p6)ERROR: Out of local stack

Prolog はスタックをこれほど速くフラッディングしますか?

または、私のアイデア/実装がtrusts悪い/無駄なシステムメモリですか?