Contents of Report

[Data of Report]

Report Number:: TR0003
Date of Registration:: 1983.02
English Title:: A Subeset of Concurrent Prolog and Its Interpreter
Japanese Title:: ***
English Author:: Ehud Y.Shapiro
Japanese:: ***
Name of Organization to which author belongs:: Weizmann Institute
PDF:: tr0003.pdf

[Contents]

i	Table of Contens	.... 3
	Abstract	.... 6
1	Introduction	.... 6
2	Logic Programs and Sequential Prolog	.... 8
2.1	The Logic Programs Computation Model	.... 8
2.2	An Exampie of a Logic Program	.... 9
2.3	Difference-lists ; An Example of a Logic Programming technique	.... 10
2.4	An Example of a Computation	.... 11
2.5	Controlling Nondeterminism at the Expense of Completeness	.... 12
2.6	Sequential Prolog	.... 13
3	Concurrent Prolog	.... 14
3.1	Basic Concepts and Syntax	.... 14
3.2	A sketch of a Concurrent Prolog interpreter	.... 17
3.3	An Example of a Computation	.... 19
4	Programming Examples	.... 20
4.1	Divede and Conquer With Communication	.... 21
4.2	Perpetual Processes With Internal States	.... 22
4.3	The Readers and Writers Problem	.... 26
4.4	An Airline Reservation System	.... 27
4.5	Merging streams	.... 29
4.6	The MSG Message-sending System	.... 32
4.7	A Unix-like Shell	.... 32
4.8	Queues	.... 35
4.9	A Simulator of a Multiprocessor Concurrent Prolog Machine	.... 37
4.10	Priority queues	.... 41
4.11	A Spooler	.... 43
4.12	An Implementation of the SCAN Disk-arm Scheduling Algorithm	.... 43
4.13	Dataflow Computations and Cyclic Communication Streams	.... 48
5	A Centralized Concurrent Prolog Machine and Its Prolog Implementation	.... 51
5.1	Control	.... 51
5.2	Unification	.... 53
5.3	Optimizations	.... 54
6	Comparison With Other Concurrent Programming Languages	.... 55
6.1	The Relational Language of Clark and Gregory	.... 55
6.2	Concurrent Functional Programming Lauguages	.... 57
6.3	Dataflow Languages	.... 58
6.4	Monitors	.... 58
6.5	Actor	.... 59
7	Relation to Sequential Prolog	.... 60
8	Future Reseach	.... 62
9	Acknowledgements	.... 64
10	Programs	.... 4
10.1	Appendix ; A Concurrent Prolog implementation of quicksort	.... 64
10.2	Appendix ; Summing the elements of a stream	.... 68
10.3	References	.... 73
	End	.... 78

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

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports