Zusammenfassung
Prolog wurde etwa vor 10 Jahren von Kowalski entwickelt und von Colmerauer erstmals implementiert. Das Entwicklungsziel war eine Sprache für das „Programmie- ren in Logik“. Sie sollte als Sprachkonstrukte im wesentlichen die Prädikatenlogik erster Ordnung in einer speziellen Ausprägung („Horn-Klauseln“, vgl. /K0WA79/) anbieten. Da die Prädikatenlogik keinen Algorithmus-Begriff kennt, ist Prolog in dem Sinne eine „nichtalgorithmische“ Sprache, daβ sie (fast) keine Sprachmittel zur Ablaufsteuerung, wie „while“ oder „if-then-else“ (und natürlich erst recht kein „goto“) bereitstellt.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
W.F. Clocksin, C.S. Mellish, “Programming in Prolog”, Springer, Berlin Heidelberg New York (1981)
H.J. Komorowski, “An Abstract Prolog Machine”,European Conf. on Integrated Interactive Computing Systems, ECICS 82, Stresa (Sept. 1–3, 1982 ), S. 149
R. Kowalski, “Algorithm = logic + control”, CACM 22 (July 1979), S. 424
E. Ortner, „Aspekte einer Konstruktionssprache für den Datenbankentwurf“, Toeche-Mittler, Darmstadt (1983)
P. Schnupp, „PROLOG - eine nichtprozedurale Sprache zur Programmierung von Expertensystemen and zum ‘rapid prototyping’“, in: „Intelligenztechnologie“ ( M. Schulze-Vorberg, ed.), Teubner, Stuttgart (1983)
P. Schnupp, K.H. Sylla, „Objektorientierte Organisation von Wissensbasen für die Software-Produktion“. Berichte des German Chapter der ACM 15, „Objektorientierte Software- and Hardwarearchitekturen“ (H. Stoyan, H. Wedekind. eds.), Teubner, Stuttgart (1983), S. 109
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schnupp, P. (1983). Prolog als Spezifikations- und Modellierungswerkzeug. In: Hommel, G., Krönig, D. (eds) Requirements Engineering. Informatik-Fachberichte, vol 74. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69293-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-69293-2_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12692-8
Online ISBN: 978-3-642-69293-2
eBook Packages: Springer Book Archive