このレファレンスマニュアルにおいて、全ての見出し語が述語名(例えば、localtime/9)或はトピック(例えば、「スタック」)で分類されています。ある見出し語がトピックと関連した述語(例えば、例外処理)の両方を含んでいることもあります。
先ず、このファレンスマニュアルはアルファベット順に構成されています。つまり一般に、述語又は概念はそのワードの一個目の文字のアルファベット順で載っています。
ただし、一つ以上の関連した述語を共に集めるためにグループが作成されました。その例を挙げると、項目の型をチェックする複数の述語( 例えば、atom/1, atomic/1, digit/1, var/1.. )は全部"型(type)"の項目に置いてあります。
特定のトピック或は述語がこのマニュアルに見つからない場合には、このマニュアルの"索引"の欄を参照して下さい。もし"索引"の欄にもなければ、その概念に関連するトピック名或は述語の名前を調べて下さい。
IF/Prologの組み込み述語については、W.F. Clocksin, C.S. Mellishの教科書「Prologプログラミング」(邦訳 中村克彦 訳)に詳細説明がなされています。また、Prologのプログラミング方法についてのヒント及びたくさんのサンプルが提供されています。
次章では、各述語の仕様について詳しく紹介します。述語の中の引数については、その役割そして与えられるべき値についての説明もされています。