Contents of Report

[Data of Report]

Report Number:: TR0208
Date of Registration:: 1986.10
English Title:: Guarded Horn Clauses: A Parallel Logic Programming Language with Concept of a Guard
Japanese Title:: ***
English Author:: K.Ueda
Japanese:: ***
Name of Organization to which author belongs:: ICOT
PDF:: tr0208.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Design Goals of GHC	.... 2
3	Syntax and Semantics	.... 3
3.1	Syntax	.... 3
3.2	Semantics	.... 4
4	GHC as a Process Discription Language	.... 8
5	Interaction with the Outside World	.... 10
6	GHC as a Logic Programming	.... 11
	References	.... 12
	End	.... 13

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