Prologの基本的な質問

Question

最初に、プロローグを学習するための本として何をお勧めしますか？次に、一度に多数の.plファイルをロードする簡単な方法はありますか？現在のところ、['name.pl']を使って一度に1つずつ実行していますが、何度も何度も何度も何度も何度も何度も何度もやり直しています。私も学ぶためにthisを使用しています。

ありがとうございました

Answer 1

まず、Prolog！へようこそ！私はあなたがそれが有益で楽しいと思うでしょう。私は日常推奨参照

書籍がプログラミングプロローグと句と効果、プロローグのアートです。私にはのアートとのプログラミングがあります。 アートは確かに百科事典であり、プログラミングはより線形です。私はのアートとクラフト、最近ではいくつかの奇妙なもの（、例えばLogic Grammars）を参照しています。私はPrologプログラミング深さを購入したいと思っています。私はそこに悪いPrologの本がたくさんあるとは思わないが、避けようとするべきだ。私はおそらく保存するだろう工芸と練習後で。

あなたがそれらをリストすることで、一度に複数のファイルを読み込むことができます。

:- [file1, file2, file3]. 

また、「name.plは」「の.pl」で終わるので、あなたが引用符を省略することができます。単一引用符は、Prologが囲まれた部分を通常の原子とみなさない場合にのみ必要です。

これはあなたの旅に役立ち、幸運を祈っています。

Answer 2

これは素敵な短い少しイントロです:)：http://www.soe.ucsc.edu/classes/cmps112/Spring03/languages/prolog/PrologIntro.pdf

私もそこにPDFを指向素敵SWIがありますと言いたいが、私はそれを見つけることができません。

Answer 3

あなたが数学の紹介に傾いている場合、Logic, Programming and Prolog (2ED)はNilssonとMaluszinskiの興味深い本です。

ClocksinとMellishによるPrologでのプログラミングは、の古典入門教科書です。 SWI-Prologで

Answer 4

は、また、チェックアウト：

?- make. 

を自動的にそれらが協議された以降に変更されたファイルをリロードします。

Answer 5

this questionをチェックアウトすることができます。そこに戻ってお勧めいくつかの素晴らしい本があります。

Answer 6

私はすでに他の答えで言及されている古典的な選択肢を繰り返すことはしませんが、Michael Covington、Donald Nute、Andrew VellinoのProlog Programmingについての注釈を追加します。私が強調したいと思う2つの章は、ハンドトレースの章であるとの妥当な規則です。前者は、鉛筆と紙のProlog計算を効率的かつ有用な方法でトレースする方法を示しています。後者は、致命的なルールをサポートするPrologコードを作成する方法を示しています。 Prologで慣れてきた規則とは違って、ルール自体に明記されていないものの影響を受けないルールとは異なり、致命的なルールはルールに記載された情報に成功することができますが、知識ベースの他のルールコンパクトでわかりやすい方法で、例外を含むことが一般的に真である表現を作成します。一方、「却下可能なルール」は、知識ベースのどこか別の知識が適用されないため、条件が満たされているにもかかわらず、一部のケースに適用できないルールです。

他の書籍には見当たらない興味深い概念です。