Contents: Manuals

• IF/Prolog V5.3 Manual 2002/4/3
  • 2001/6/25
• IF/Prolog V5.2 Manual 2002/4/3
  • 日本語の使用 2000/9/1
• IF/Prolog V5.1 Manual 2000/9/1
  • 日本語の使用 2000/9/1
• IF/Prolog V5.0 Manual 1997/7/23
  • Installation Guide 1997/7/23
    • Installing IF/Prolog under Unix 1997/3/17
      • Memory requirements 1997/3/17
      • Software requirements 1997/3/12
      • Installation 1997/3/17
        • Installation from a local tape drive 1997/3/17
        • Installation over a network connection from a remote host 1997/3/17
        • Installation of compressed files 1997/3/17
        • Further Explanations 1997/3/17
      • Troubleshooting 1997/3/17
      • Licensing 1997/3/12
    • Windows Installation Procedures 1997/7/23
      • Getting your licence information 1997/3/17
      • Installing Win32S for Windows 3.x 1997/3/17
  • 1997/4/1
• IF/Prolog V4.1 マニュアル 2001/3/21
  • イントロダクション 1995/11/7
    • 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
      • ....und 7 weitere ....
    • IF/Prologソフトウェア/マニュアル 問題レポート 1994/7/21
  • インストールガイド 2001/3/21
    • UNIXにおけるIF/Prolog 1995/11/7
      • UNIXにIF/Prologをインストールする。(UNIX上でのユーザの方のみお読み下さい。) 1994/7/20
      • ベンチマークテストの実行 1995/11/7
    • VAX/VMS上のIF/Prolog 4.1 2001/3/21
      • VAX/VMSにIF/Prologをインストールする。 1994/7/21
      • 例題: ベンチマークテストの実行 2001/3/21
      • UNIX上の標準IF/Prologとの相違点 1994/8/30
  • ユーザーズ・ガイド 1995/11/7
    • 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
      • ....und 5 weitere ....
    • IF/Prologコンパイラの使用 1995/11/7
      • 述語のコンパイル方法 1994/7/26
      • コンパイルされた述語の使用 1994/8/30
      • コンパイルされる述語について 1994/7/26
      • コンパイルのためのファイル準備 1994/7/26
      • ....und 2 weitere ....
    • ....und 3 weitere ....
  • IF/PrologのX開発環境 2001/3/21
    • イントロダクション 1994/9/5
    • 要求と開始 1994/9/5
    • コマンドウィンドウ 2001/3/21
      • 質問の入力 1994/9/5
      • バックトラッキング 1994/9/5
      • IF/Prologの出力先 1995/11/7
      • メッセージ・ウィンドウ 1994/9/5
      • ....und 6 weitere ....
    • IF/Prologウインドウ・デバッガ 2001/3/21
      • 実行コントロール 1995/10/31
      • ポート停止トグル 1994/9/5
      • 表示コントロール 1995/10/31
      • ズーミング機能 1995/10/31
      • ....und 3 weitere ....
    • ....und 4 weitere ....
  • ....und 2 weitere ....