PrologのISO標準をサポートするために、IF/Prologにいくつかの変更点が施されました。

演算子をアトムとして用いる場合には、カッコの中に入れなければなりません。

?- A = (+), B = 2, C = 5, Pred =.. A,B,C ,Result is Pred.

A = (+) B = 2 C = 5 P = 2 + 5 Result = 7 ?-

項の引数として`,'より高い優先順位を持つ演算子が使われる場合には、項はカッコの中に入れなければなりません。

[user]. test((Head :- Body)) :- call(Body),asserta(Head). end of file. consult: file stdin loaded in 30 sec

yes ?- test((a :- write(a),nl,flush)). a

yes ?-

数値は、「基数'数」という表記法を採ることができます。 基数として、1から16まで採ることができます。

?- 16'3F == 10'63.

yes ?-

文字定数は 0'char'として定義されます。

?- 0' ' == 32.

yes ?-

構文エラーの検索、表示が、4.0バージョンにて改良されました。エラーの行、コラム番号が表示されます。

?- qwert().

line 3, column 7, syntax error: start of term expected

１節の中で(`_'で始まる名前以外の)変数名が１度だけ使用されている場合には、警告がでます。また、節の定義がコラム1から始まっていない場合、また、節のボディがコラム1から始まっている場合には、`.'の使い方の誤りが検出されます。

?- [user] . a(B,C):- B. "stdin", line 11, syntax warning: single variable: 'C'

次のファイルをコンサルトすると...

a:- b. c. a:- d, f.

以下の警告が表示されます。

ifprolog -c tmp "tmp", line 2, syntax warning: clause doesn't start at first column "tmp", line 4, syntax warning: subterm starts at first column consult: file tmp loaded in 0 sec. IF/Prolog Version 4.0 ....

scroll to top