目次: イントロダクション

• IF/Prolog マニュアル 1995/10/13
• IF/Prolog 4.1 レリースノート 1995/11/7
• IF/Prolog 4.0のレリースノート 1995/11/7
  • 構文 1995/10/13
  • 新しいIF/Prologコンパイラ 1994/7/21
  • ガーベジ・コレクション 1994/7/21
  • 信号処理 1994/7/21
  • ....他 7 項目 ....
• IF/Prologソフトウェア/マニュアル 問題レポート 1994/7/21