web-dev-qa-db-ja.com

プロローグコードの実行方法

私はプロローグで家系図に取り組んでいます。このプログラムをコンパイルして実行する方法がわかりません。実行するための基本的な手順をいくつか教えてください。

compilationprolog
12
Subodh Mankar

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つのリンクがあります：

  1. ロジックプログラミングをお試しください！プロローグの優しい紹介
  2. プロローグ：James LuおよびJerud Meadによるチュートリアル紹介（PDF）
25
clay

コードが完成したら、次の手順を実行してコードを実行します。

  • ステップ1：プロローグターミナルを開きます（pic1を参照）
  • ステップ2：上部左側の「ファイル」をクリックし、「相談」を選択してプロローグファイル（コードファイル）を開きます。（pic2を参照）
  • ステップ3：関数名とパラメーターを入力します。

Step 1: open the prolog terminal

Step 2: click "File" on the left of the top, then choose "Consult" to open the prolog file

4
SuperGuy10

ソースファイルをコンパイルおよびロードするProlog組み込み述語には、公式の標準はありません。最も一般的なものは、consult(File)、reconsult(File)、およびload_files(Files, Options)です。ショートカット[File| Files]もよく利用できます。使用しているPrologシステムのドキュメントを参照する必要があります。上記の一般的なものであっても、セマンティクスはシステムによって異なることが多いことに注意してください。

1
Paulo Moura

まあ、それはあなたのプロローグに完全に依存します実装

言語は一つのことですが、コードをコンパイルまたは実行する方法は別の問題です。

たとえば、Visual PrologはIDE内でキーシーケンスを使用しますが、 CTRL-SHIFT-B、コードをビルドする、または ALT-F5 コードを実行します。使用しているProlog実装で同じことを行う同等の方法を見つける必要があります（または、少なくともお知らせください）。

0
paxdiablo