MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
特に、完全にPrologの構文に慣れていない場合には、 構文チェッカ−は構文エラーを見つけるために役立ちます。
構文エラーは、コンサルト/リコンサルトの入力時や、組み込み述語read/1,2で項を読み込む時に検出されます。構文の条件に従わない項（節、指令、指示など）が、エラーメッセージで端末に表示されます。
?- 'Old' Reports_to 'Carter'.
line 4, column 7, syntax error:operator expected
?- _
'Old'は正しい項（アトム）です。これは、中置あるいは後置演算子の引数あるいは述語の関数子になることができます。従って、構文チェッカ−は、次の入力として演算子'('あるいはドット"."がくることを期待しています。
注意：IF/Prologが"?-"というプロンプトを表示しない場合には、ドット"."を入力して、改行して下さい。
構文チェッカ−が表示するすべてのエラーメッセージは、レファレンスマニュアルに記載されています（構文チェッカ−の項をご覧下さい）。
構文エラーを含むファイルをコンサルトした後で、correct/0あるいはedit/1の述語を使用して、構文エラーを訂正することができます。
| 
