Zusammenfassung
Logikprogrammierung dient weniger der Behandlung numerischer Probleme in Wissenschaft und Technik als vielmehr der Wissensverarbeitung, z.B. der praktischen Realisierung von Expertensystemen der künstlichen Intelligenz. Man muß unterscheiden zwischen Logikprogrammierung als einem theoretisch orientierten Gebiet und der für praktische Aufgaben in diesem Zusammenhang meistens benutzten Programmiersprache PROLOG. Diesbezüglich beschränken wir uns auf die Vorstellung einer stark vereinfachten Version, die aber das Typische erkennen läßt.
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
© 1996 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden
About this chapter
Cite this chapter
Rautenberg, W. (1996). Grundlagen der Logikprogrammierung. In: Einführung in die Mathematische Logik. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-92913-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-322-92913-6_4
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-06754-0
Online ISBN: 978-3-322-92913-6
eBook Packages: Springer Book Archive