MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
Dedicated technical support for IF/Prolog ended Dec 31 2008.
This site is maintained as a community service only.
- 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プログラミングのより高度な側面についても紹介します。
カーソルは“＿”で示されています。
| 
