Next: About this document ...
Up: Inside KLIC Version 1.0
Previous: コンパイル時のオプション
- active unification
- 単一化器
| Active unification
- CONS
- CONSとファンクタ
- encoding
- エンコーディング規則
- execute
- 述語呼び出しの実現
- functor
- CONSとファンクタ
- GC
- GC
- アルゴリズム
- GCのアルゴリズム
- きっかけ
- GCのきっかけ
- 共有ヒープ
- 共有ヒープのガーベジコレクション
- 対象領域
- GCの対象領域
- 判定
- Copyされたかどうかの判定
- GC stack
- 基本的なGCのアルゴリズム
- GCスタック
- 基本的なGCのアルゴリズム
- Generatorの起動
- Generator の起動: generator_unify()
- generic object
- ジェネリック・オブジェクト
- goal
- ゴールレコード
| ゴールレコード
- goal record
- ゴールレコード
- goal stack
- ゴールレコード
- heap
- ヒープ
- module
- モジュールの原則
- naive reverse
- 例
- passive unification
- 単一化器
| Passsive unification
- PVM-TCP版
- メッセージ通信版
- PVM版
- メッセージ通信版
- ref
- 参照セルと純粋未定義変数セル
- tag
- KL1レベルのデータ構造
- tracer
- トレーサ
- WEC
- 外部参照ポインタの解放
- word
- ワード
- WRC
- 外部参照ポインタの解放
- WTC
- 終了検出
- エンコーディング規則
- エンコーディング規則
- 外部参照ポインタ
- 外部参照ポインタ
- 解放
- 外部参照ポインタの解放
- 生成
- 外部参照ポインタの生成
- 共有変数オブジェクト
- 共有変数オブジェクト
- 共有メモリ版
- メッセージ通信版
| 概要
- 共有領域
- 局所領域と共有領域
- 局所領域
- 局所領域と共有領域
- 具体化
- 参照セルと純粋未定義変数セル
| 単一化器
- ゴール
- ゴールレコード
| ゴールレコード
- エンキュー
- 述語呼び出しの実現
- 実行可能
- 実行可能状態
- 多重待ち
- 中断状態
- 中断
- 中断状態
- 直接呼び出し
- 述語呼び出しの実現
- 通常呼び出し
- 述語呼び出しの実現
- デキュー
- 述語呼び出しの実現
- ゴールスタック
- ゴールレコード
| トップレベルループ
- ゴールレコード
- ゴールレコード
- 再開処理
- 中断構造に対しての処理の概略
| resume_goals()の詳細
- 参照
- 参照セルと純粋未定義変数セル
- 失敗
- 割り込み/中断/失敗
| 中断、失敗処理: interrupt_goal
- 荘園
- 荘園
- 終了
- 終了検出
- 中断
- 中断検出
- ジェネリック・オブジェクト
- ジェネリック・オブジェクト
| ジェネリック・オブジェクト
- consumer
- ジェネリック・オブジェクトの種類
| ジェネリック・オブジェクトの種類
| Consumer object
- data
- ジェネリック・オブジェクトの種類
| ジェネリック・オブジェクトの種類
| Data object
- generator
- ジェネリック・オブジェクトの種類
| ジェネリック・オブジェクトの種類
| Generator object
- Generatorの起動
- Generator の起動: generator_unify()
- 構造
- Data object
- consumer
- Consumer
- data
- Data object
- generator
- Generator
- メソッド表
- ジェネリック・オブジェクト
- 述語
- 述語
- 出力形式
- 述語の原則
- 述語呼び出し
- 述語呼び出しの実現
- 純粋未定義変数
- 参照セルと純粋未定義変数セル
- 大域データ構造体
- 大域データ構造体
- タグ
- KL1レベルのデータ構造
- 単一化
- 単一化器
- active unification
- 単一化器
| Active unification
- passive unification
- 単一化器
| Passsive unification
- 単一化ゴール
- 単一化ゴールのエンキュー: enqueue_unify_goal()
- 中断
- 割り込み/中断/失敗
| 中断、失敗処理: interrupt_goal
- 中断構造
- 中断構造に対しての処理の概略
- 中断ゴール
- 中断ゴールを現わす構造
- 定数構造体
- モジュールの原則
| 定数構造体のコンパイル
- トップレベルループ
- トップレベルループ
- トレーサ
- トレーサ
- CALLポート
- 提供機能の概要
| CALL ポートのトレースのきっかけ
- FAILポート
- 提供機能の概要
- REDUポート
- 提供機能の概要
| REDUCE/SUSPEND ポートのトレースのきっかけ
- SUSPポート
- 提供機能の概要
| REDUCE/SUSPEND ポートのトレースのきっかけ
- 機能一覧
- 機能概要
- 擬似ゴール
- 擬似ゴールの構造
- 名前管理
- 名前情報の管理
- 動作モデル
- 動作モデル
- ヒープ
- ヒープ
| ヒープの使い方
- ヒープ割付点
- ヒープ
- ファンクタ
- CONSとファンクタ
- 分散プロセス立ち上げ方式
- 分散プロセス立ち上げ方式
- 分散ユニフィケーション
- 分散ユニフィケーション
- 未定義変数
- 参照セルと純粋未定義変数セル
- 分類
- ジェネリック・オブジェクトの種類
- メッセージ通信版
- メッセージ通信版
- メッセージの送信/受信
- メッセージの送信/受信
- モジュール
- モジュール
| モジュールの原則
- 輸出オブジェクト
- ジェネリック・オブジェクトを用いた実現
| ジェネレータ外部参照オブジェクトの詳細
| ジェネレータ外部参照オブジェクトの詳細
| コンシューマ外部参照オブジェクトの詳細
- 輸出表
- 表現形式
| 輸出表
| ジェネレータ外部参照オブジェクトの詳細
- 例外処理
- 例外的な処理
| 割り込み/中断/失敗
- 論理変数
- 参照セルと純粋未定義変数セル
- ワード
- ワード
- 割り込み
- 割り込み/中断/失敗
| 割り込み時の処理
Sekita Daigo
1998-05-18