MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
Dedicated technical support for IF/Prolog ended Dec 31 2008.
This site is maintained as a community service only.
Prologのサンプルプログラム"colleague"の準備ができましたので、IF/Prologを起動してみましょう。
以下のコマンドによりIF/Prologを起動すると、自動的に起動ファイルがコンサルトされます。するとPrologは以下のようにタイトルを出力し、指令を促してきます。IF/Prolog のプロント"?-"は、ユーザが現在インタプリタレベルにいることを示しています（システム自身がロードされる間、第１行が表示されてからプロンプトが表示されるまでには少々時間がかかります）。
$ ifprolog
IF/Prolog Version 4.1.1 IBM System/6000 created 17/2/92
Copyright (C) 1984,88 InterFace Computer GmbH
?- _
| 
