Contents of Report

[Data of Report]

1	Introduction	.... 1
2	Encounter with Logic Programming	.... 1
2.1	Around 1970	.... 2
2.2	Inference Mechanism Laboratory	.... 2
2.3	Encounter with Prolog	.... 3
3	The Fifyh Generation Computer Systems Project and Logic Programming	.... 4
3.1	Computer Science and Logic	.... 4
3.2	Work Hypothesis for Semantics	.... 5
3.3	A Working Hypothesis for Parallel Inference	.... 6
3.4	Starting the Project	.... 7
4	Achievements of Fifth Generation Computer Systems Project	.... 9
4.1	GHC/KL1	.... 9
4.2	Quixote	.... 10
4.3	MGTP	.... 11
4.4	Miscellaneous	.... 13
5	The Future of Logic Programming	.... 13
5.1	Dissemination of the Research Results	.... 13
5.2	Various Logic Systems	.... 14
5.3	Deduction, Abduction, Induction	.... 14
	End	.... 15

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