Contents of Report

[Data of Report]

Report Number:: TR0803
Date of Registration:: 1992.09
English Title:: ***
Japanese Title:: Magic Set法による安定モデル上の General Logic Programing インタープリタ Draft
English Author:: M.Fujita,N.Iwayama,R.Hasegawa
Japanese:: 藤田　正幸,岩山　登,長谷川　隆三
Name of Organization to which author belongs:: ICOT,ICOT,ICOT
PDF:: tr0803.pdf

1	はじめに	.... 2
2	準備	.... 3
3	Prolog による安定モデルProlog インタプリタ	.... 3
4	Magic Set 法によるインタプリタ	.... 4
4.1	Magic Set 法の応用	.... 4
4.2	Magis Set の生成	.... 5
4.3	Integrity Constraint の導入	.... 5
5	Magic Set 法の能力	.... 6
6	並列化	.... 6
7	結論	.... 6
	謝辞	.... 6
	参考文献	.... 7
付録1	NAF-Prolog インタプリタ	.... 8
付録2	Magic Set NAF-Prolog インタプリタ	.... 8
付録3	例題	.... 9
	End	.... 10

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