sitelogo
UNIXにおけるIF/Prolog
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

UNIXにIF/Prologをインストールする。(UNIX上でのユーザの方のみお読み下さい。)
ベンチマークテストの実行

戻る 続く..
冒頭へ managed with ubiCMS