以下に挙げるのは、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