Abstract
We study in this paper the operational and greatest fixpoint semantics of infinite computations in logic programming. We show their equivalence in the case of fair derivations, and generalize to infinite computations some important results about finite ones.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
K.R. Apt, M.H. van Emden: Contributions to the theory of logic programming, JACM 29, 3 (1982), pp. 841–862.
A. Arnold, M. Nivat: The metric space of infinite trees. Algebraic and topological properties, Fundamenta Informaticae 3, 4 (1980), pp. 445–476.
E.W. Dijkstra: A discipline of programming, Prentice Hall, (1976).
F. Hausdorff: Set theory, Chelsea Publishing Company, New York (1962).
R.A. Kowalski: Logic for problem solving, Elsevier North Holland, New York, (1979).
R.A. Kowalski, M.H. van Emden: The semantics of logic as a programming language, JACM 23, 4 (1976), pp. 733–742.
J.L. Lassez, M.J. Maher: Closure and fairness in the semantics of logic programming, T.C.S. (to appear).
T. Moto-Oka: Overview of the fifth generation computer project, SIGARCH Newsletter 11(3), 1983, pp. 417–422.
M.A. Nait-Abdallah, M.H. van Emden: Algorithm theory and logic programming, (draft manuscript).
J.A. Robinson: A machine-oriented logic based on the resolution principle, JACM 12, 1 (1965), pp. 23–41.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nait Abdallah, M.A. (1984). On the interpretation of infinite computations in logic programming. In: Paredaens, J. (eds) Automata, Languages and Programming. ICALP 1984. Lecture Notes in Computer Science, vol 172. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-13345-3_32
Download citation
DOI: https://doi.org/10.1007/3-540-13345-3_32
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13345-2
Online ISBN: 978-3-540-38886-9
eBook Packages: Springer Book Archive