Contents of Report

[Data of Report]

Report Number:: TR0045
Date of Registration:: 1984.02
English Title:: The Design and Implementation of a Personal Sequential Inference Machine : PSI
Japanese Title:: ***
English Author:: M.Yokota,A.Yamamoto,K.Taki,H.Nishikawa,S.Uchida
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT,ICOT,ICOT
PDF:: tr0045.pdf

	ABSTRACT	.... 2
1	Introduction	.... 3
2	What is a Machine Architecture for Inference?	.... 4
2.1	Unification	.... 4
2.2	Backtracking	.... 5
3	PSI Design Objectives	.... 5
3.1	Requirements as a Tool	.... 5
3.2	Requirements as an Experimental Machine	.... 7
4	Machine Language	.... 9
4.1	KL0	.... 9
4.2	Machine Instruction Level	.... 10
5	Interpretation of KL0	.... 11
5.1	Stack Oriented Interpretation	.... 11
5.2	Structure Sharing	.... 13
6	Internal Data Representation	.... 15
6.1	Data Representation	.... 15
6.2	Clause Representation	.... 17
7	Addressing Mechanism	.... 20
7.1	Area Based Logical Addressing	.... 20
7.2	Address Translation	.... 22
8	Conclusion	.... 23
	Acknowledgements	.... 23
	Reference	.... 24

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