Contents of Report

[Data of Report]

	Abstract	.... 3
1	Introduction	.... 4
2	Before Things Really Started	.... 4
2.1	The First Encounter	.... 4
2.2	Joining the Project	.... 6
3	Sequential Inference Systems	.... 6
3.1	Sequential Inference Machine:PSI	.... 5
3.2	The First Kernel Language:KL0	.... 5
3.3	An Object-Oriented Language:ESP	.... 7
3.4	SIMPOS	.... 7
3.5	Software Systems on PSI	.... 8
3.6	PSI-II and -III	.... 9
4	Parallel Inference Systems	.... 9
4.1	Early Parallel Hardware Systems	.... 9
4.2	Pre-GHC Days	.... 10
4.3	Guarded Horn Clauses	.... 10
4.4	MRB AND My Full Participation	.... 11
4.5	KL1 and Multi-PSI V2	.... 12
4.6	PIMOS	.... 13
4.7	Application Software Development	.... 14
4.8	Parallel Inference Machines	.... 15
5	Conclusion	.... 16
	Acknowledgement	.... 16
	References	.... 17
	End	.... 18

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