Abstract
This paper presents a unified framework for characterising execution models for logic programs. The framework consists of two basic entities, viz., objects and actions. Objects are abstractions of data values, program encodings, variable bindings etc., whereas actions represent events like application of a function to its arguments, unification, solving a conjunction,etc. The relationship between objects and actions are specified as rules, within an execution model. These rules govern the behaviour of an execution model. Within the framework, it is shown how to characterise the salient properties of dataflow model of logic programs, as well as execution models of concurrent logic languages. This enables us to understand better the relationships between the execution models of logic programs.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Arvind and Culler DE. Dataflow architectures. Annual Reviews in Computer science I, pp 225–253, 1986.
Bruynooghe M and Pereira LM. Deduction revision by intelligent backtracking, Implementations of Prolog, J.A.Campbell(ed.), Ellis Horwood, pp 194–215, 1984.
Conery JS. The AND-OR process model of parallel interpretation of logic programs. Technical report 1204, University of California at Irvine, 1983.
Davis AL and Keller RM. Dataflow program graphs, IEEE Computer, pp 26–41, February 1982.
Gregory S. Parallel logic programming in PARLOG. Addison Wesley, 1987.
Halim Z. A Data driven machine for OR-parallel evaluation of logic programs. New Generation Computing, 4, pp 5–33, 1986.
Kowalski R. Logic for problem solving. Elsevier North Holland, 1979.
Lusk E. Warren DHD. Haridi S. et al. The AURORA OR-parallel PROLOG system. Proceedings of the Intl. Conf. on FGCS, pp 819–830, 1988.
Ravindran E and Mehndiratta SL. A unified framework for characterising logic program executions. Technical Report, TR-003-89, I.I.T Bombay, October 1989.
Saraswath V. Problems with Concurrent Prolog. Technical Report, CMU-CS-86-100, Carnegie-Mellon University, 1986.
Saraswath V. The Concurrent logic programming language CP: Definition and operational semantics. Proceedings of the ACM Symposium on Principles of Programming Languages, pp 49–62, 1987.
Shapiro EY. A subset of Concurrent Prolog and its interpreter. Technical Report, TR-003, Weizmann Institute of Science, Israel, 1983.
Wise MJ. Prolog Multiprocessors. Prentice-Hall 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ravindran, E., Mehndiratta, S. (1990). A unified framework for characterising logic program executions. In: Ramani, S., Chandrasekar, R., Anjaneyulu, K.S.R. (eds) Knowledge Based Computer Systems. KBCS 1989. Lecture Notes in Computer Science, vol 444. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018384
Download citation
DOI: https://doi.org/10.1007/BFb0018384
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52850-0
Online ISBN: 978-3-540-47168-4
eBook Packages: Springer Book Archive