以下では SWI-Prolog という Prolog 言語の実行方法を説明します。 ここでは教育用計算機システムのiMac環境で実行することを前提にしています。 Emacsなどのエディタを使ってプログラムを作成します。内容は例えば以下のようにしておき、ファイル名は「test.pl」とでもしておきます。 「Terminal」アプリケーションを起動し、 /home08/masuhara/local/bin/swiprolog と入力します。 ?-と表示されたらconsult('test.pl').と入力します。test.plの内容が読み込まれます。 続けて?-と表示されたらp(s(s(0)),s(s(s(0))),X).のように入力すると、2+3の結果Xを求めて表示します。 結果が表示された所で;をタイプすると、さらに別の答を探します。これ以上答がなくなった場合にはNoと表示されます。