MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
IF/Prologシステムは、以下のいずれかの媒体で提供されています。
- 4mm DAT ストリ−マ
- QIC-150 ストリ−マ
ディレクトリには以下のファイルが含まれています(機種によって異なる場合があります)。
$PROROOT/
bin/
ifcc Cインタフェ−ス用コンパイルコマンド
iflink Cインタフェ−ス用リンクコマンド
ifopt0 オプティマイザ
ifprolog IF/Prologの実行可能なバイナリ
ifsem コンパイラに必要なコマンドファイル
ifprolog/
*.sem セミコンパイルされたシステムモジュール
ifsem.pst セーブ状態のprologコンパイラ
ifstate.pst セーブ状態のPrologシステム
library/
io/ Prologライブラリ用のソースファイル
data/ Prologライブラリ用のソースファイル
*.sem セミコンパイルされたライブラリファイル
c/
cpred.h,cpro.h Cインタフェ−スに必要なインクル−ドファイル
io.h Cインタフェースに必要なストリーム用のインクルードファイル
libifprolog.a Cインタフェ−スで使われるCライブラリ
main.o Cインタフェ−スで使われるメインル−チン
sboot.o Cインタフェース:空のセーブ状態のオブジェクト
util/
cgen/ Cインタフェ−ス自動コ−ド生成機能
emacs/ Emacsインタフェ−スのソ−スファイル
gks/ GKS グラフィックインタフェ−スのソ−スファイル
oracle/ Oracle RDBMS インタフェ−スのソ−スファイル
sql/ SQL RDBMS インタフェ−スのソ−スファイル
demos/
benchmarks/ ベンチマ−クプログラム集
c/, cpro/ Cインタフェ−スのデモプログラム
f77/ FORTRANインタフェ−スのデモプログラム
pro/ IF/Prologのデモプログラム集
stream/ ストリームインタフェースのデモプログラム
man/
ifcc.1 ifcc用のマニュアル
ifprolog.1 ifprolog用のマニュアル
ifsem.1 ifsem用のマニュアル
x11r4/ オプション: Athena widgetsとのインタフェース
motif11/ オプション: OSF/Motifとのインタフェース
flex/ オプション: Flex for IF/Prolog
|