Contents of Report

[Data of Report]

Report Number:: TM0171
Date of Registration:: 1986.05
English Title:: On Parallel Programming Methodology in GHC;Experience in Programming of A ProofProcedure of Temporal Logic
Japanese Title:: ***
English Author:: K.Takahashi,T.Kanamori
Japanese:: ***
Name of Organization to which author belongs:: Mitsubishi,Mtsubishi
PDF:: tm0171.pdf

	Abstract	.... 2
1	Introduction	.... 4
2	Prolog and Gurded Horn Clauses(GHC)	.... 5
3	Propositional Temporal Logic(PTL)	.... 7
4	ω-Graphs Refutation Procedure in Prolog	.... 10
5	Programming of ω-Graphs Refutasion Procedure in GHC	.... 28
6	Parallel Programming Methodlogy in GHC	.... 41
7	Concluding Remarks	.... 60
	Acknowledgements	.... 60
	References	.... 61
	Appendix	.... 62
	End	.... 67

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