| 1 | はじめに | .... 2 |
| 2 | 計算機モデル | .... 2 |
| 3 | PE 内処理の概要 | .... 3 |
| 3.1 | ゴールの管理 | .... 3 |
| 3.2 | ゴールの実行 | .... 4 |
| 3.3 | ゴールの中断と復帰 | .... 4 |
| 4 | PE 間の処理 | .... 5 |
| 4.1 | アドレス系の変換 | .... 5 |
| 4.2 | PE 間のゴールの管理 | .... 5 |
| 5 | ユニフィケーション | .... 6 |
| 5.1 | ガード部のユニフィケーション | .... 7 |
| 5.2 | ボディ部のユニフィケーション | .... 8 |
| 6 | 今後の課題 | .... 10 |
| 7 | おわりに | .... 11 |
| 参考文献 | .... 11 |
ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports