Abstract
The idea of logic programming can be traced back to R. Kowalski and A. Colmerauer, who discovered, at the beginning of the Seventies, how to give an operational interpretation to expressions of predicate logic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
W.F. Clocksin, C.S. Mellish. Programming in Prolog: Using the ISO Standard. Springer, 2003.
M. Hanus. Problemlösen mit Prolog. Teubner Verlag, 1986.
Tobias Hauser. Einstieg in ActionScript. Galileo Press, 2006.
H. Kleine-Büning, S. Schmittgen. Prolog. Teubner, 1986.
L. Sterling, E. Shapiro. The Art of Prolog, Advanced Programming Techniques. MIT Press, 1994.
D. Maier, D.S.Warren. Computing with Logic, Logic Programming with Prolog. Benjamin/Cummings, 1988.
J.W. Lloyd. Foundations of Logic Programming. 2nd ed., Springer, 1987.
K.R. Apt. Logic Programming, Handbook of Theoretical Computer Science. Elsevier, 1990.
M. Bezem. Logic Programming and PROLOG. In CWI Quarterly 1(3), pp. 15– 29, Amsterdam, Centre for Mathematics and Computer Science, 1988.
D.H.D. Warren. Applied Logic: Its Use and Implementation as a Programming Language Tool. Ph.D. Thesis, Univ. of Edinburgh, 1977.
H. Aït-Kaci. Warren’s Abstract Machine: A Tutorial Reconstruction. MITPress, 1991.
Tom Schrijvers, Jan Wielemaker, Bart Demoen. Constraint Handling Rules for SWI-Prolog. In Workshop on (Constraint) Logic Programming, Ulm, 2005.
SICStus 4 Beta Documentation, 2006. Homepage: http://www.sics.se/isl/sicstuswww/site/.
Krzysztof Apt, Mark Wallace. Constraint Logic Programming Using ECLiPSe. Cambridge University Press, 2006.
Michael Hanus, Ramin Sadre. An Abstract Machine for Curry and Its Concurrent Implementation in Java. Journal of Functional and Logic Programming, SpecialIssue 1, 1999.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Wilhelm, R., Seidl, H. (2010). Logic Programming Languages. In: Compiler Design. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14909-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-14909-2_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14908-5
Online ISBN: 978-3-642-14909-2
eBook Packages: Computer ScienceComputer Science (R0)