Contents of Report

[Data of Report]

1	序論	.... 3
1.1	概要	.... 3
1.2	設計思想	.... 6
2	基本計算メカニズム	.... 11
2.1	AND 関係節と OR 関係節	.... 11
2.2	シンタックス	.... 12
2.3	基本計算メカニズム [clark81] [shapiro83a] [shapiro83b]	.... 13
2.4	OTHERWISE の導入	.... 14
2.5	write early annotation	.... 15
2.6	計算の制御に関するコメント	.... 17
3	集合表現	.... 18
3.1	集合表現の導入	.... 18
3.2	集合表現のシンタックス	.... 19
3.3	集合表現のメカニズム	.... 21
3.4	集合による計算	.... 22
4	モジュール化機能構成	.... 26
4.1	機能検討の指針	.... 26
4.2	基本機能の選定	.... 26
4.3	機械語プログラムに対する操作と名前表の管理問題	.... 27
4.4	各種モジュール化関連機能の実現	.... 29
5	メタ推論用基本述語	.... 32
5.1	メタ推論の必要性	.... 32
5.2	並列メタ推論	.... 32
5.3	並列メタ推論の方式	.... 33
5.4	実現法の検討	.... 36
5.5	応用可能性	.... 38
	References	.... 42
	End	.... 44

目次をクリックすると、PDFファイルが表示されます。