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.
以下に挙げるのは、IF/Prolog 4.0でのすべての新しい述語の簡単な説明です。詳しくは、レファレンスマニュアルを参照して下さい。
＜論理および制御＞
call/2
block/3
cut_block/1
exit_block1
:-
?-
＜Prologデータベース＞
assert_term/2
clause_term/3
current atom/1
current predicate/3
include/1
＜メタ述語＞
bagof/3
setof/3
＜ストリーム管理＞
新しく設けられたストリームは、以下の述語により管理されます。後の2つの述語は互換性のために設けられました。
close/1
current stream/3
filepos/2
link stream/2
open/3
stream control/2
outpos/2
setoutpos/2
＜入力述語＞
入力述語は、ストリームを使用できるように拡張されました。
get/2
get0/2
get byte/1
get byte/2
get until/4
read/2
read term/2
read term/3
skip/2
＜出力述語＞
出力述語は、ストリームを使用できるように拡張されました。
display/2
displayq/2
display_term/2
displayq_term/2
display_term/3
displayq_term/3
nl/1
print/2
print/3
outtab/2
put_byte/1
put_byte/2
tab/2
write/2
writeq/2
write_term/2
writeq_term/2
write_term/3
writeq_term/3
＜計算の関数＞
次の2つの速い述語が設けられています。
inc/2
sum/3
＜比較＞
項の比較は、演算子としてサポートされています。
@＜
@=＜
@＞
@＞=
＜項のタイプ＞
type_of/2
＜アトムの操作＞
byte_length/2
image_length/2
＜リスト処理＞
length/2
reverse/2
＜エラー、例外処理、信号処理＞
異なる信号ソース用の新しい述語が設けられています。
alarm/1
signal_handler/2
signal/2
signal/3
＜システムパラメータ、環境＞
gc/0
prolog_flag/3
save_module/2
save_system/1
statistics/0
system_predicate/1
＜モジュール＞
モジュールを定義するためのコンパイラ指令があります。
common/1
export/1
hidden/1
import/1
import/2
module_body/1
predicate_mode/1
＜自然言語＞
equiv_char/3
| 
