問題タブ [logic-programming]

Herbrand Universe、Herbrand Base、Herbrand Model of Binary Tree (プロローグ) で尋ねられた質問と回答を読みましたが、確認のような少し異なる質問があり、混乱が解消されることを願っています。

P を、次の事実とルールを持つようなプログラムとします。

上記プログラムから、エルブラン・ユニバース

エルブランドベース:

• さて、私の質問に来てください（私の無知を許してください）、私はq（a、g（a））を私のHerbrand Universeの要素として含めましたが、事実から、q（a、g（b））と述べています。それは q(a, g(a)) がそこにあるとは思わないということですか?
• また、Herbrand モデルは Herbrand ベースのサブセットであるため、誘導によって最小の Herbrand モデルを決定するにはどうすればよいですか?

注: 私はこれについて多くの調査を行いました。いくつかの部分は私にはよくわかりますが、それでも私はこの疑問を抱いています。それが、コミュニティの意見を求めたい理由です. ありがとうございました。

The Art of Prologの紹介で、Sterling と Shapiro は、並列処理、並行処理、およびロジック プログラミングについての議論を別の本に任せています。私の質問は、そのようなリソースがあるかどうかです:

[the] 並列コンピューターの可能性は、ロジック プログラミング モデルで利用できると思われる並列処理と組み合わされて、Prolog を並列で実行し、新しい並列プログラミング言語を開発するための多くの試みにつながっています。論理プログラミング計算モデル。ただし、これは別の本 (The Art of Prolog、p. xx) の主題です。

Google で検索すると、何百もの研究論文や論文に加えて、Mercury の Prolog と同時実行ライブラリの並列実装が見つかりました。しかし、パラグラフの 2 番目の部分でリソースを見つけるのは困難です。並列プログラミングと、ロジック プログラミング言語の実行モデルに基づくプログラミング言語についてです。これらのトピックに関する適切なリソースはありますか? 並列および並行ロジック プログラムのコンパイルと作成に関する参考文献に特に興味があります。

帰納的論理プログラミングを用いて人間を観察し、パズルやボードゲームのルールを学ぼうとしています。Prologで書かれたILP用のプログラムであるPROGOLを使っています。いくつかのゲームでは正しくルールを与えることができますが、他のゲームでは否定的な例がないためにそうではありません。

たとえば、ハノイの塔のパズルでは、小さなブロックの上に大きなブロックを置かないというルールがあります。これは否定的なルールです。しかし、トレーニング中にこのイベントは発生しないため、このルールを学習できる明示的な負の例はありません。

要するに、ILP で負の例をどのように生成するのでしょうか?

以下は、カレーでの私の最初のプログラムです。目的のソリューションに到達するために必要な一連の手順を出力します (閉じたドアを通り抜けます)。

探しているときに終了させるにはどうすればよいImpossibleですか? Kics2 0.3.1 を使用しています。

関数シンボルを 1 つだけ含む論理プログラミングのサブセットがある場合、すべてを実行できますか?

できないとは思いますが、まったく自信がありません。プログラミング言語は、チューリング完全言語であれば、ユーザーが望むことは何でもできます。これは、if..then..elseコマンド、再帰を実行できなければならないことを意味し、自然数を定義する必要があることを教えられました。

ヘルプや意見をいただければ幸いです。

私は Java で書かれた Prolog システム、Prova を見ています。 https://prova.ws/

しかし、その実装、Prolog コンパイラーまたは Prolog インタープリターについては明確ではありませんか? マニュアルを読みましたが、答えが見つかりませんでした。