ライブラリマニュアル
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.

イントロダクション
集合とバッグ
リスト操作
配列の実装法
高度な項の操作
様々なデータ構造
算術述語
特殊な入力述語
書式付出力述語

Up read on...