Part of the book series:Lecture Notes in Computer Science ((LNCS,volume 225))
Included in the following conference series:
Abstract
We present Delta Prolog, a distributed logic programming language that extends Prolog to include AND-parallelism (in a single processor or across a network of processors), interprocess communication via message passing with two-way pattern matching, interprocess synchronization with simultaneous message passing, and distributed backtracking among a family of processes. The extension is achieved, at the language level, by just two additional types of goals — events and splits. The implementation is written part in Prolog and part in C, with a small number of core primitives, to help portability. It is still experimental and expected to evolve. In this work we present the language's distinguishing features, describe its semantics, exhibit programs and analyse their behaviour, examine the implementation, and mention conclusions, advantages of the approach and the next developments.
This is a preview of subscription content,log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bruynooghe, M.; Pereira L. M., “Deduction revision through intelligent backtracking” in “Implementations of Prolog” (Campbell ed.) Ellis Horwood 1984
Hoare, C.A.R. “Communicating sequential processes” Prentice-Hall, 1985
Cunha, J. C.; Aparício, J. N., “Delta Prolog implementation: progress report no.1”, Universidade Nova de Lisboa, December 1984
Cunha, J. C.; Aparício, J. N., “Delta Prolog implementation: progress report no.2”, Universidade Nova de Lisboa, July 1985
Monteiro, L. “A proposal for distributed programming in logic”, in “Implementations of Prolog” (Campbell ed.) Ellis Horwood 1984
Pereira M. L.; Porto, A. “Selective Backtracking” in “Logic Programming” (Clark, Tarnlund eds.) Academic Press 1982
Pereira, L. M.; Nasr, R. “Delta Prolog: a distributed logic programming language”, in “Proceedings of FCGS”, Tokyo, November 1984.
Author information
Authors and Affiliations
Universidade Nova de Lisboa, Portugal
Luís Moniz Pereira, Luís Monteiro, José Cunha & Joaquim N. Aparício
- Luís Moniz Pereira
You can also search for this author inPubMed Google Scholar
- Luís Monteiro
You can also search for this author inPubMed Google Scholar
- José Cunha
You can also search for this author inPubMed Google Scholar
- Joaquim N. Aparício
You can also search for this author inPubMed Google Scholar
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pereira, L.M., Monteiro, L., Cunha, J., Aparício, J.N. (1986). Delta Prolog: A distributed backtracking extension with events. In: Shapiro, E. (eds) Third International Conference on Logic Programming. ICLP 1986. Lecture Notes in Computer Science, vol 225. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16492-8_65
Download citation
Published:
Publisher Name:Springer, Berlin, Heidelberg
Print ISBN:978-3-540-16492-0
Online ISBN:978-3-540-39831-8
eBook Packages:Springer Book Archive
Share this paper
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative