Contents of Report

[Data of Report]

Report Number:: TR0168
Date of Registration:: 1986.04
English Title:: Guarded Horn Caluses Experiences with Parallel Logic Programming
Japanese Title:: ***
English Author:: J.Tanaka,K.Ueda,T.Miyazaki,A.Takeuchi,Y.Matsumoto,K.Furukawa
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT,ICOT,ICOT,ICOT,ICOT
PDF:: tr0168.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Parallel Logic Programming Language	.... 3
2.1	Design Goals	.... 3
2.2	GHC	.... 4
2.3	Program Examples	.... 6
3	Sequential Implementataion	.... 7
4	GHC Programming	.... 9
5	Kernel Langurage Version1	.... 13
6	Distributed Implementation	.... 15
6.1	The Multi-PE Model	.... 15
6.2	Multi-PE Simulator	.... 17
6.3	Implementation on PSI[Miyazaki 86]	.... 19
7	Summary	.... 19
8	Acknowledgements	.... 20
	References	.... 21
	End	.... 22

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