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