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.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Ertel, W. (2017). Logic Programming with PROLOG. In: Introduction to Artificial Intelligence. Undergraduate Topics in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-319-58487-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-58487-4_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-58486-7
Online ISBN: 978-3-319-58487-4
eBook Packages: Computer ScienceComputer Science (R0)