私は個人的にインタープリター環境で gprolog または swipl を使用します。そのため、ファクトとルールを mydb.pl ファイルに記述し、同じディレクトリでインタープリターを開きます。プロンプトが表示されたら、クエリを実行できます
['mydb.pl'].
データベースをロードするため。これで、警告\エラーを表示するか、プロローグ インタープリター内からクエリを開始できます。
はい、任意のテキスト エディターを使用できます。 VIM。 file.pl などの Prolog ソース ファイルを作成したら、 、次のように SWI-Prolog にロードできます:
swipl -s file.pl
これにより、ファイルがコンパイルされ、ファイル内の定義に対してクエリを実行できるインタラクティブ シェルが表示されます。
Prolog プログラムをバッチ モードで使用する場合は、次を使用できます。
swipl -s file.pl -t goal
どこで goal 評価したい目標/クエリです。この場合、別の解決策を求めるオプションが表示されないことに注意してください。
Ubunutu では、少なくとも構文の強調表示を行う emacs を使い始めました。
http://www.swi-prolog.org/FAQ/GnuEmacs.html
(そのページに 2 つの emacs の提案があります ^)
しかし今、私は怒ってプロローグを使用し、PDT と呼ばれる Eclipse プラグインを使用しています:
http://sewiki.iai.uni-bonn.de/research/pdt/docs/v2.1/start
特に役立つのは、リアルタイムの行ごとのデバッグとトレースです。そのため、Eclipse にある他の実際の IDE と同じように、個々の述語にステップ インしたり、ステップ オーバーしたり、変数名を監視したりできます。
インストールには多くの作業が必要なため、多くの場合にのみインストールする価値がありますが、優れた IDE です。
しかし、VIM のような低レベルのエディターが好きな場合は、swi-prolog に組み込まれているデバッグ ツールとトレース ツールを使用する必要があります。
http://www.swi-prolog.org/pldoc/man?section=debugger
奇妙で美しいプロローグ インタープリターがどのように機能するかを解明するには、何らかのトレーサーを使用する必要があります。