Contents: ユーザーズ・ガイド

• IF/Prologとは... 1995/11/7
• Prologの概念、言語、アプリケーションの範囲 1995/11/7
• 初めてのPrologのセッションのための準備 1995/11/7
  • IF/Prologの起動 1994/7/26
  • データの読み込み 1994/7/26
    • 編集したPrologのファイルをコンサルトする 1994/7/26
    • 節のコンサルト 1994/7/26
    • 対話的プログラミング 1994/7/26
  • データベースのリスティング 1994/7/26
  • データの削除 1995/11/7
    • ファイルのリコンサルト 1994/7/26
    • 対話のリコンサルト 1994/7/26
    • 節の削除 1995/11/7
  • ....and 5 more ....
• IF/Prologコンパイラの使用 1995/11/7
  • 述語のコンパイル方法 1994/7/26
  • コンパイルされた述語の使用 1994/8/30
  • コンパイルされる述語について 1994/7/26
  • コンパイルのためのファイル準備 1994/7/26
  • ....and 2 more ....
• モジュールの使用 1994/7/26
  • モジュールの概念 1994/7/26
  • IF/Prologにおけるモジュール 1994/7/26
  • モジュールの定義 1994/7/26
    • モジュールヘッド 1994/7/26
    • モジュールボディ 1994/7/26
  • モジュールのコンパイルとコンサルト 1994/7/26
  • エラーメッセージ 1994/7/26
• デバッギング 1995/11/7
  • サンプルセッション 1995/11/7
  • スパイポイントの使用 1995/11/7
  • トレース 1995/11/6
• レファレンス 1994/7/26