Contents: IF/Prolog V4.1 マニュアル

• イントロダクション 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
    • ....and 7 more ....
  • 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
    • ....and 5 more ....
  • IF/Prologコンパイラの使用 1995/11/7
    • 述語のコンパイル方法 1994/7/26
    • コンパイルされた述語の使用 1994/8/30
    • コンパイルされる述語について 1994/7/26
    • コンパイルのためのファイル準備 1994/7/26
    • ....and 2 more ....
  • ....and 3 more ....
• 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
    • ....and 6 more ....
  • IF/Prologウインドウ・デバッガ 2001/3/21
    • 実行コントロール 1995/10/31
    • ポート停止トグル 1994/9/5
    • 表示コントロール 1995/10/31
    • ズーミング機能 1995/10/31
    • ....and 3 more ....
  • ....and 4 more ....
• IF/Prolog V4.1 レファレンスマニュアル 1996/3/31
  • バージョン3から4への移行 1995/11/6
    • :- dynamic 1995/11/6
    • interrupt, interrupted 1995/11/6
    • # isop 1995/11/6
    • kanji_mode 1995/11/6
    • ....and 10 more ....
  • イントロダクション 1995/11/6
    • IF/Prologレファレンスマニュアルの使い方 1994/8/2
    • 述語の仕様 1994/8/2
    • 引数の役割説明表 1995/11/6
  • abolish 1995/10/18
  • abort 1995/11/6
  • ....and 157 more ....
• IF/Prolog Interfaces 2001/3/21
  • ライブラリマニュアル 1995/11/7
    • イントロダクション 1994/9/5
    • 集合とバッグ 1995/10/30
    • リスト操作 1995/11/7
    • 配列の実装法 1995/10/30
    • ....and 5 more ....
  • OSF/Motifインタフェースマニュアル 2001/3/21
    • イントロダクションとインストール 1994/5/31
    • OSF/Motifによるプログラミング 1995/11/7
      • 基本的なToolkit概念の概要 1994/5/26
      • Prolog言語バインディングの一般的特徴 1995/10/12
      • Prolog言語バインディングによるXtプログラムの例題 1995/11/6
      • このマニュアルで使用している引数の役割名 1994/5/26
      • ....and 15 more ....
    • X11 Toolkitに対するOSF/Motif版拡張 1996/3/31
      • このマニュアルで使用している引数の役割名 1995/11/1
      • 複合文字列とフォント・リスト 1995/11/6
      • OSF/Motifのカットアンドペースト機能 1996/3/31
      • コンポーネント選択 1995/11/6
      • ....and 7 more ....
    • OSF/Motif Widgetsの使用方法 1995/11/7
      • このマニュアルで使用している引数の役割名 1995/11/1
      • アローボタンWidget (ArrowButton Widget) 1995/11/7
      • アローボタンGadget (ArrowButton Gadget) 1994/5/26
      • ビュレティンボードWidget (BulletinBoard Widget) 1995/11/6
      • ....and 34 more ....
    • ....and 4 more ....
  • Athena インタフェースマニュアル 1995/11/7
    • イントロダクションとインスト−ル 1994/8/30
    • X11.4 Toolkit によるプログラミング 1995/11/7
      • 基本的なToolkit概念の概要 1994/5/27
      • Prolog言語バインディングの一般的特徴 1995/10/12
      • Prolog言語バインディングによるXtプログラムの例題 1995/11/6
      • このマニュアルで使用している引数の役割名 1995/11/2
      • ....and 15 more ....
    • X11.4 Athena Widgetsの使用方法 1995/11/7
      • このマニュアルで使用している引数の役割名 1995/11/2
      • コマンドWidget (Command Widget) 1995/11/6
      • ラベルWidget (Label Widget) 1995/11/6
      • テキストWidget (Text Widget) 1995/11/7
        • xawTextSetInsertionPoint/3 1995/11/6
        • xawTextUnsetSelection/1 1995/11/6
        • xawTextGetSelectionPos/3 1995/11/6
        • xawTextReplace/4 1995/11/6
        • ....and 16 more ....
      • ....and 16 more ....
    • ドローWidget (Draw Widget) 1995/11/7
      • 特徴 1995/10/12
      • ドローwidgetクラスによって追加されるリソース 1995/11/6
      • アクション 1994/5/26
      • デフォルトのトランスレーション 1995/11/6
      • ....and 4 more ....
    • ....and 3 more ....
  • IF/PrologからC言語へのインタフェ−ス 1996/3/31
    • イントロダクション 1995/11/6
    • 開発にさらに便利なIF/Prologライブラリ関数 1996/3/31
      • ライブラリ関数の概要 1996/3/31
        • 一覧表 1995/11/6
        • C関数とIF/Prologを接続する関数 1994/7/28
        • エラーチェックのための関数 1994/7/28
        • 単一化関数 1994/7/28
        • ....and 7 more ....
    • バックトラックしないProlog述語をC言語で書く 1995/11/7
      • C関数のIF/PrologのC述語への変換 1995/11/7
      • C述語ためのコンパイルとリンク 1995/11/7
      • ライブラリ関数を使ったプログラム例 1995/11/6
      • あなたのプログラムが動かない場合 1994/7/28
    • バックトラックするProlog述語をC言語で書く 1995/11/7
      • 理論背景 : ボックスモデルとコル−チン 1995/11/7
      • C言語によるコル−チンの実現 1995/11/6
      • IF/Prologによってサポートされるコル−チン 1995/11/6
      • マクロ定義と関数のライブラリ− 1995/11/6
      • ....and 2 more ....
    • ....and 5 more ....
  • ....and 6 more ....