IF/Prologのマニュアルは、６セクションに分かれています。 ・イントロダクション ・インストールガイド ・ユーザガイド ・レファレンスマニュアル ・IF/Prolog Interfaces ・インデックス
この「イントロダクション」は、IF/Prologの概観、マニュアルの読み方、レリースノートについて書かれています。ソフトウェア障害報告シートも添付していますので、IF/Prologにバグあるいは問題を見つけられた場合、レポートをお願いします。
「インストールガイド」は、テープやディスクの形でお手元に届いたIF/Prologシステムのインストール方法の紹介をしています。システムに依存する機能はこの中で説明をしています。
「ユーザガイド」は、初心者がIF/Prologを学ぶためのセクションです。小さなサンプルプログラムを作ったり、ファイルをコンサルトしたり、節を操作したりします。IF/Prologのコンパイラの使用方法のヒントもあります。デバッガの説明の部分では、順次、絵を交えて説明をしています。
ユーザガイドは、Prolog言語のプログラミング自体の入門書ではありません。入門書としては以下の本をお読み下さい。このマニュアルでは、/ClocMel/として引用しています。IF/Prologは、この本に記述されているすべての述語を備えています。
Programming in Prolog by W.F.Clocksin & C.S.Mellish Springer Verlag 1981
「レファレンスマニュアル」は、述語、さまざまな項目、概念の用語集です。アルファベット順に並んでいますが、トピック別の項目分けも行なわれています。また、すべての、述語、引数、関連する例外処理を載せています。より詳しくは、「レファレンスマニュアル」の冒頭のページを御覧下さい。
「IF/Prolog Interfaces」には、以下の項目に関するマニュアルがあります。
・Cインタフェース:IF/PrologからCへのインタフェース ・CからIF/Prologへのホスト言語インタフェース ・Cインタフェース用の自動コードジェネレータ (CソフトウェアパッケージをIF/Prologとリンクするための支援機能) ・Emacs編集環境へのインタフェース ・GKS標準グラフィックパッケージへのインタフェース ・SQLリレーショナルデータベースシステムへのインタフェース ・IF/Prolog DEC10ライブラリ
また、一部のハードウェア・ソフトウェアの組合せでのみ使用可能であり、オプション提供をしているパッケージに関する説明もあります。
・X11 ウィンドウシステムとAthena ツールキットとのインタフェース ・OSF/Motifツールキットとのインタフェース
最後に: 「インデックス」を有効に活用して下さい。