This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
K. Clark, F. McCabe, "The control facilities of IC-Prolog", Dept. of Computing and Control, Imperial College, 1979.
M. Dausmann, G. Persch, G. Winterstein, "Concurrent logic", Univ. Kaiserslantern, 1979.
M. van Emden, R. Kowalski, "The semantics of predicate logic as a programming language", JACM 23 (1976), 733–742.
M. van Emden, G. J. de Lucena, H. de M. Silva, "Predicate logic as a language for parallel programming", CS-79-15, Univ. Water loo, 1980.
R. Kowalski, "Predicate logic as a programming language", Proc. IFIP 1974.
R. Kowalski, "Logic for problem solving", North-Holland-Elsevier, New-York, 1979.
L. Monteiro, "Concurrent logic: a logical system for specifying concurrency", CIUNL 5/81, Univ. Nova de Lisboa, 1981.
L. Monteiro, "The semantics of concurrent logic", CIUNL 6/81, Univ. Nova de Lisboa, 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Monteiro, L. (1981). An extension to horn clause logic allowing the definition of concurrent processes. In: Díaz, J., Ramos, I. (eds) Formalization of Programming Concepts. ICFPC 1981. Lecture Notes in Computer Science, vol 107. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10699-5_114
Download citation
DOI: https://doi.org/10.1007/3-540-10699-5_114
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10699-9
Online ISBN: 978-3-540-38654-4
eBook Packages: Springer Book Archive