Zusammenfassung
Vom Ansatz und der Idee ist Prolog eine Programmiersprache, in der die vorliegenden Probleme in der Sprache der Logik beschrieben werden. Die positive Beantwortung einer Frage ist dann nichts anderes als die Feststellung, daß der gefragte Sachverhalt aus der Programmformel folgt. Diese Idee spiegelt sich wieder in dem Namen PROLOG als eine Abkürzung für PROgramming in LOGic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1986 B. G. Teubner Stuttgart
About this chapter
Cite this chapter
Büning, H.K., Schmitgen, S. (1986). Elementare Prädikatenlogik. In: Prolog. Leitfäden der angewandten Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-92747-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-322-92747-7_3
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-02484-2
Online ISBN: 978-3-322-92747-7
eBook Packages: Springer Book Archive