Contents of Report

[Data of Report]

1	はじめに	.... 2
2	論理型プログラミング言語	.... 2
3	論理型並列プログラミング言語	.... 7
4	シンタックス	.... 8
5	基本計算メカニズム--リゾリューション--	.... 9
6	計算モデル	.... 11
7	Concurrent Prologによるプログラミング	.... 13
8	他の言語との比較	.... 20
9	おわりに	.... 21
	参考文献	.... 23
	End	.... 29

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