Contents: IF/Prolog Interfaces

• ライブラリマニュアル 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 ....
• C言語からIF/Prologへのインタフェ−ス 1995/11/7
  • イントロダクション 1994/8/30
  • ライブラリー関数と型定義 1995/11/6
    • QueryDescr 1995/11/6
    • VarDescr 1995/11/6
    • InitProlog, InitParms, EndProlog 1995/11/6
    • ParseProlog 1995/11/6
    • ....and 3 more ....
  • CからIF/Prologへのインタフェースの使用 1995/11/7
  • main.c プログラム例 1995/11/6
    • IF/Prologのメインル−プのシュミレ−ト 1995/11/6
    • IF/Prologのメインル−プのシュミレ−ト 1995/11/6
    • supplier例に対するCプログラム 1995/11/6
    • supplier例に対するPrologプログラム 1995/11/6
    • ....and 3 more ....
• GKSPROLOGマニュアル 1995/11/6
  • イントロダクション: UNIXシステムに於けるIF/PrologとGKS 1994/8/30
  • GKSPROLOGのインストール 1995/10/30
  • GKSPROLOGの使用 1995/11/6
  • デモプログラム"test.pro"のリスト 1995/11/6
  • FORTRANからIF/Prologへの変換例 1995/11/6
• SQLインタフェースマニュアル 1995/11/7
  • IF/Prologのための「埋め込みSQL」インタフェース 1994/7/29
  • イントロダクション 1994/7/29
    • カーソル概念 1994/7/29
    • ダイナミックSQLコマンド 1994/7/29
    • ダイナミックSQLコマンドの解釈 1994/7/29
    • データ変換 1994/7/29
    • ....and 7 more ....
  • IF/PrologからのダイナミックSQLコマンドの使い方 1994/7/29
  • IF/SQL述語レファレンス 1995/11/7
    • sql_begin 1995/11/6
    • sql_close 1995/11/7
    • sql_close_db 1995/11/6
    • sql_commit 1995/11/6
    • ....and 19 more ....
  • サンプル 1995/11/7
    • ダイナミックSQL DELETEコマンド 1994/7/29
    • ダイナミックSQL INSERTコマンド 1994/7/29
    • ダイナミックSQL SELECTコマンド 1995/11/7
• ORACLE インタフェースマニュアル 1995/12/12
  • イントロダクション 1995/11/6
  • Oracleインタフェースの述語 1995/12/12
  • Oracleコマンドを含んだプログラム例 1995/11/6
• EMACSインタフェースマニュアル 1995/11/7
  • イントロダクション 1994/7/29
  • IF/Prologユーザに合わせたコマンド 1995/11/7
    • Prologコードよりの移動 1995/11/6
    • 下位のPrologプロセスとの相互対話 1994/9/5
    • Emacsでのedit/[01]或はcorrect/0メカニズムの使用 1994/7/29
    • 述語定義(タグ)の検索 1995/11/7
    • Prologモードにおけるローカル・キー・バインディングのリスト 1995/11/6
  • EMACSインタフェースのインストール 1995/11/6
  • タグファイルを生成するptagsの説明 1994/9/5
• FORTRANインタフェースマニュアル 1995/11/6
  • イントロダクション 1995/11/6
    • バックトラックしないProlog述語をFORTRANで書く 1994/8/24
    • 作業を容易するIF/Prologライブラリ関数 1995/11/6
      • FORTRANの関数とIF/Prologの結合 1995/11/6
      • エラー・チェック関数 1995/11/6
      • FORTRANとIF/Prologの間の引数のやりとり 1995/11/6
      • 変数の取り扱い 1995/11/6
      • ....and 4 more ....