Zusammenfassung
Die bekannteste Programmiersprache, die Logik operationell benutzt, um gegebene Fragen direkt durch logische Schlüsse zu beantworten, ist Prolog. Dabei kann Prolog grob in zwei Teile unterteilt werden: in die logischen und die nichtlogischen Bestandteile. Die rein logischen Teile von „Prolog“, die „Logik-Programmierung“, betrachtet spezielle prädikatenlogische Formeln, die sogenannten „Horn-Klauseln“. Diese können durch einen Kalkül mit einer einzigen Regel, der SLD-Regel, recht intuitiv behandelt werden. Die Bedeutung von Logik-Programmen ist durch zwei Semantiken gegeben: die operationelle und die denotationelle.
Diese beiden Semantiken sind äquivalent, was letztlich bedeutet, dass der SLD-Kalkül vollständig und korrekt ist.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Literatur
Apt, K.R.: From Logic Programming to Prolog. Prentice Hall, New Jersey (1997)
Bratko, I.: Prolog. Programmierung für Künstliche Intelligenz. Addison-Wesley, Bonn (1987)
Clocksin, W.F., Mellish, C.S.: Programming in Prolog, 5. Aufl. Springer, Berlin (2003)
Hogger, C.J.: Essentials of Logic Programming (Graduate Texts in Computer Science). Clarendon Press, Oxford (1990)
Horn, A.: On sentences which are true of direct unions of algebras. J. Symb. Logic. 16, 14–21 (1951)
Kowalski, R.A.: Predicate Logic as Programming Language. Proc. IFIP. Congr. Stockh. 74, 569–574 (1974)
Sterling, L., Shapiro, E.Y.: The Art of Prolog. Advanced Programming Techniques. The MIT Press, Cambridge (Massachusetts) (1994)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2013 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Schenke, M. (2013). Der SLD-Kalkül (Logik-Programmierung). In: Logikkalküle in der Informatik. Studienbücher Informatik. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-8348-2295-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-8348-2295-6_4
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-8348-1887-4
Online ISBN: 978-3-8348-2295-6
eBook Packages: Computer Science and Engineering (German Language)