P-Prolog: A parallel logic language based on exclusive relation
The synchronization mechanism can determine the direction of data flow dynamically.
Guarded horn clauses can be interpreted as either don't care non-determinism or don't know non-determinism.
A prototype interpreter of P-Prolog has been implemented in C-prolog. We are now implementing a P-Prolog interpreter in the C language.
KeywordsLogic Programming Horn Clause Synchronization Mechanism Logic Programming Language Program Executor
Unable to display preview. Download preview PDF.
- Chang C. and Lee R. C., "Symbolic Logic and Mechanical Theorom Proving", Academic Press, New York San Francisco London, 1973.Google Scholar
- Clark K. and Gregory S., "PARLOG: Parallel Programming in Logic", Research Report DOC, April,1984.Google Scholar
- Clocksin W.F. and Mellish C.S., "Programming in Prolog", Springer-Verlag Berlin Heidelberg New York, 1981.Google Scholar
- Hoare C.A.R., "Algorithm 64", CACM, Vol. 4, pp 321, 1961.Google Scholar
- Kowalski R., "Logic for promlem solving", NORTH-HOLLAND, 1979.Google Scholar
- Shapiro E.Y., "A Subset of Concurrent Prolog and Its Interpreter", Technical Report TR-003 ICOT, Tokyo, Feb.,1983.Google Scholar
- Ueda K., "Guarded Horn Clauses", Technical Report TR-103 ICOT, Tokyo, June, 1985.Google Scholar