Contents of Report

[Data of Report]

Report Number:: TR0511
Date of Registration:: 1989.10
English Title:: An Operational Semantics of And-Or-Parallel Logic Programming Language,ANDOR-II
Japanese Title:: ***
English Author:: A.Takeuchi,K.Takahashi
Japanese:: ***
Name of Organization to which author belongs:: Mitsubishi,Mitsubishi
PDF:: tr0511.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	An and-or-parallel logic programming language	.... 3
3	Branching world model/Eager copying	.... 4
3.1	Non-labelled	.... 4
3.2	Labelled	.... 5
4	Vector model/Lazy copying	.... 6
4.1	Colors and vectors	.... 6
4.2	Derivation	.... 9
5	Comparison	.... 11
6	Optimization/Parallelzing the vector model	.... 12
7	CCL implementation	.... 13
	References	.... 14
	End	.... 15

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