私はプロローグで家系図に取り組んでいます。このプログラムをコンパイルして実行する方法がわかりません。実行するための基本的な手順をいくつか教えてください。
SWI-Prolog を使用していると仮定します
ステップ1:辞書をテキストファイルに入れます。辞書の例を次に示します。
dog(rover).
dog(felix).
dog(benny).
ステップ2:辞書に「something.pl」というタイトルを付けます-私はこれをdogs.plと呼びました。
ステップ3:コマンドラインからSWI-Prologを開きます。 Linuxでは、コマンドラインでコマンドswiplを使用します。 SWI-Prologが起動すると、?-のようなコマンドラインが表示されます。
ステップ4:SWI-Prologで、次のようにconsultコマンドを使用して辞書をロードします。
?- consult('dogs.pl').
ステップ5:辞書がロードされたので、それを使用できます。犬に関するテスト辞書を使用した例を次に示します。
?- dog(rover).
true.
dog(X).
X = rover ;
X = felix ;
X = benny .
これで、プロローグプログラムをロードして実行できるようになります。
最後に、他の人がどのようにPrologを実行するかについての2つのリンクがあります:
ソースファイルをコンパイルおよびロードするProlog組み込み述語には、公式の標準はありません。最も一般的なものは、consult(File)
、reconsult(File)
、およびload_files(Files, Options)
です。ショートカット[File| Files]
もよく利用できます。使用しているPrologシステムのドキュメントを参照する必要があります。上記の一般的なものであっても、セマンティクスはシステムによって異なることが多いことに注意してください。
まあ、それはあなたのプロローグに完全に依存します実装
言語は一つのことですが、コードをコンパイルまたは実行する方法は別の問題です。
たとえば、Visual PrologはIDE内でキーシーケンスを使用しますが、 CTRL-SHIFT-B、コードをビルドする、または ALT-F5 コードを実行します。使用しているProlog実装で同じことを行う同等の方法を見つける必要があります(または、少なくともお知らせください)。