Zusammenfassung
Für die Einführung von Sorten in eine logische Programmiersprache können verschiedenartige Gründe genannt werden:
-
Sorten unterstützen den Programmierer beim Versuch des fehlerfreien Programmierens.
-
Für den sortierten Kalkül läßt sich, im Vergleich zum unsortierten Fall, leichter eine effiziente Implementierung angeben, da die Trennung von Sortenbehandlung und übrigen Inferenzen schon auf Kalkülebene vorgenommen wird.
-
Durch die Sortierung kann die Sprache für Aufgaben, welche logisches Programmieren unter Berücksichtigung von taxonomischem Wissen erfordert, verwendet werden.
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
© 1991 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig
About this chapter
Cite this chapter
Furbach, U. (1991). Sortierte Hornklauseln. In: Logische und Funktionale Programmierung. Artificial Intelligence / Künstliche Intelligenz. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-91096-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-322-91096-7_7
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-05127-3
Online ISBN: 978-3-322-91096-7
eBook Packages: Springer Book Archive