Auszug
Die Syntax logischer und Constraint-logischer Programme unterscheidet sich lediglich darin, dass in den rechten Seiten der Klauseln Constraint-logischer Programme und in Anfragen neben logischen Prädikaten auch Constraints erlaubt sind. Bei der Auswertung werden die Prädikate wie in logischen Programmen weiterhin mit Resolution abgeleitet, während Constraints mit Hilfe von Constraint-Lösern auf Erfüllbarkeit überprüft werden. Das Zusammenspiel zwischen Resolution und den speziellen Constraint-Lösungsmechanismen wollen wir in diesem Kapitel analysieren und beschreiben.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2007). Constraint-logische Programmierung (CLP). In: Einführung in die Constraint-Programmierung. eXamen.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68194-6_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-68194-6_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23184-4
Online ISBN: 978-3-540-68194-6
eBook Packages: Computer Science and Engineering (German Language)