Abstract
Due to the problems with first-order logic mentioned in Chap. 4, pure logic can not solve most realistic AI problems. Logic programming as a fusion of logic and procedural programming provides the programmer with means for controlling and optimizing logical reasoning. Using the programming language PROLOG, we invite the reader to solve some simple relational problems and puzzles. As a particular highlight, we introduce constraint logic programming, which enables us to elegantly solve for example nontrivial scheduling problems.
This is a preview of subscription content, log in via an institution to check access.
Notes
- 1.
The constants have been abbreviated to save space.
References
R. Bartak. Online guide to constraint programming, 1998. http://kti.ms.mff.cuni.cz/~bartak/constraints.
I. Bratko. PROLOG Programming for Artificial Intelligence. Addison–Wesley, Reading, 4th edition, 2011.
W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer, Berlin, 4th edition, 1994.
D. Diaz. GNU PROLOG. Universität Paris, 2004. Aufl. 1.7, für GNU Prolog version 1.2.18, http://gnu-prolog.inria.fr.
E. Freuder. In pursuit of the holy grail. Constraints, 2(1):57–61, 1997.
S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, New York, 3rd edition, 2010. 1st edition: 1995. http://aima.cs.berkeley.edu.
J. Wielemaker. SWI-PROLOG 5.4. Universität van Amsterdam, 2004. www.swi-prolog.org.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag London Limited
About this chapter
Cite this chapter
Ertel, W. (2011). Logic Programming with PROLOG. In: Introduction to Artificial Intelligence. Undergraduate Topics in Computer Science. Springer, London. https://doi.org/10.1007/978-0-85729-299-5_5
Download citation
DOI: https://doi.org/10.1007/978-0-85729-299-5_5
Publisher Name: Springer, London
Print ISBN: 978-0-85729-298-8
Online ISBN: 978-0-85729-299-5
eBook Packages: Computer ScienceComputer Science (R0)