Abstract
In this paper we give an introduction to Al-Khowarizmi, a formal system for higher-order logic programming that embeds a fragment of second-order logic and is a superset of pure Prolog. The basic construct of Al-Khowarizmi is that of a logic field. logic fields provide a logic procedure call mechanism, and also allow to check a collection of observed facts against a collection of possible explanatory theories. The syntax and semantics of Al-Khowarizmi are examined.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Bibliography
Church A.: A formulation of the simple theory of types, JSL Vol 5 (1940), pp 56–68
van Emden M.H. and Kowalski R.: The semantics of logic as a programming language, J. ACM 23, (1976) pp. 733–742
Guessarian I.: Algebraic semantics, Springer LNCS 99, Berlin (1981)
Nait Abdallah M.-A.: Procedures in Horn-clause programming 3rd International Conference on Logic Programming (London, July 1986)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abdallah, M.A.N. (1986). Al-Khowarizmi : A formal system for higher-order logic programming. In: Gruska, J., Rovan, B., Wiedermann, J. (eds) Mathematical Foundations of Computer Science 1986. MFCS 1986. Lecture Notes in Computer Science, vol 233. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016281
Download citation
DOI: https://doi.org/10.1007/BFb0016281
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16783-9
Online ISBN: 978-3-540-39909-4
eBook Packages: Springer Book Archive