- IF/Prologは、高速のPrologインタプリタで、Cプログラミング言語とIF/Prologで書かれた増分コンパイル技術(コンパイルアサート)を使用しています。

- IF/Prologは、以下の特徴を備えています。

＜組み込み述語＞ Clocksin & Mellish (/ClockMel/)著作のProlog入門書である"Programming in Prolog"により標準化されたすべての組み込み述語を有しています。

＜テ−ルリカ−ジョンの最適化＞ スタックのオ−バ−ヘッドを削減するために、テ−ルリカ−シブな呼び出しを効率よく処理します。

＜ハッシュメカニズム＞ データオブジェクトをすばやく見つけるハッシュメカニズム

＜名前に基づくモジュール概念＞

＜ストリームハンドラ＞ 文字ストリームを開き、修正し、閉じるストリームハンドラです。

＜例外処理＞ ユーザが制御するエラー処理です。

＜C言語インタフェース＞ PrologとCの間の双方向のインタフェースです。

＜オペレーティングシステムに対するインタフェース＞

＜画面上のボックスモデルデバッガ＞ 現在の推論を示します。

＜割り込み処理メカニズム＞

＜画面処理機能＞

＜ダイナミックメモリ・割り当て＞ Prologデータベース用のダイナミックメモリ・割り当てです。

＜ガーベジ・コレクション＞ 使用済みメモリをできるだけ小さくしておくためのガーベジ・コレクションです。

２) IF/Prologは、以下のいずれかの環境を必要とします。

- UNIXあるいはUNIXに似た環境(例えば、VMS)

・32ビット計算を行なうことができる大きな単一のアドレス スペースを持つマシン ・インタプリタオブジェクトコード用の約200Kbyteメモリと、 ユーザデータベースとIF/Prologのスタック用に約300Kbyte ・大文字、小文字の両方の使用可能性: Prologは、構文的に 大文字と小文字の使い分けをしているため。

あるいは、

- IBM386パーソナルコンピュータ上でのMS-DOS 3.3あるいは4.0

・最小限2MbyteのRAMメモリ ・HDDフロッピーディスク読み取り用のディスケットドライブ ・大文字、小文字の両方の使用可能性: Prologは、構文的に 大文字と小文字の使い分けをしているため。

３) IF/Prologは、以下のプラットフォーム他上ですでに移植されています。

Alliant, Amdahl, Apple, Apollo Domain, Bull, CDC, Celerity, Concurrent Computer, Convex, Control Data Data General, DEC VMS/Ultrix, RISC Ultrix Fortune, Fujitsu, Godrej, Hewlett-Packard, Hitachi, IBM/370, IBM PC/2, IBM RT PC, IBM RS/6000, Integrated Solutions, Kontron, MIPS, (Mitsubishi) Motorola UNIX/Versados NCR Tower, (NEC), NeXT, Nixdorf, Olivetti, OMRON, (Opus) PCS Cadmus, Prime UNIX, Pyramid, (Samsung), (Sequent,) (Sharp), Siemens, Silicon Graphics SNI Solbourne SONY, Sun, Tektronix, Telmat, Toshiba, (Triumph-Adler), UNISYS

Interactive UNIX 386 SCO XENIX 386 SCO UNIX 386 OS-9/680x)

４) IF/Prologのユーザガイドでは．．．

丁寧な説明と詳しい例を用いてPrologの特徴すべてを順次解説します。ま た、興味深いPrologプログラミングのより高度な側面についても紹介します。

カーソルは“＿”で示されています。