Zusammenfassung
Mit der Fortentwicklung der Übersetzerbautechnologie wächst der Einfluß der Programmiermethodik auf Programmiersprachen. Langjährige Erfahrung im Umgang mit imperativen Sprachen zeigt, daß diese Sprachen ein adäquates Mittel zur Formulierung von Problemen sind, bei denen Werte sukzessive berechnet werden. Andererseits ist es in solchen Sprachen unmöglich, Relationen und Beziehungen zwischen Objekten (Daten) anzugeben, ohne dabei zugleich einen funktionalen Bezug aufeinander herzustellen. Auf abstrakter Ebene ist eine solche Möglichkeit aber im relationalen und logischen Programmieren gegeben: Problemstellungen werden dabei in Form logischer Axiome angegeben; eine konkrete Probleminstanz wird in Form eines Theorems formuliert, und das theoretisch gut untersuchte Konzept des Kalküls stellt einen syntaktischen Ableitungsbegriff bereit, der — zusammen mit einem Suchalgorithmus — eine Operationalisierung einer Beschreibung der problemrelevanten Tatsachen1 erlaubt.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literatur
J. Beer, W.K. Giloi, POPE —.4 Parallel Operating Prolog Engine, GMD — FIRST/Technische Universität Berlin, 1986.
A. Bockmayr, Narrowing with Inductively Defined Functions, Interner Bericht 25/86 der Universität Karlsruhe, Institut für Informatik I, 1986.
P.G. Bosco, E. Giovannetti, C. Moiso, Refined Strategies for Semantic Unification, Proc. TAPSOFT ‘87, Vol. 2, Pisa, Italy, LNCS 250, (1987), 276–290.
R.M. Burstall, J. Darlington, A Transformation System for Developing Recursive Programs, JACM, 24, 1, (1977), 44–67.
K. Clark, S.-A. Tärnlund, A First Order Theory of Data and Programs, in: G. Gilchrist (ed.), Information Processing 77, IF IP, 1977.
A. Colmerauer, Introduction a Prolog III, Groupe Intelligence Artificielle, Universite d’Aix-Marseille I I, 1985.
R. Dietrich, Eine Programmierumgebung für Termersetzungssysteme, Arbeitspapiere der GMD Nr. 130, 1985.
R. Dietrich, Relating Resolution and Algebraic Completion for Horn Logic, Proc. 8th Int. Conf. on Automated Deduction, Oxford, England, LNCS 230, (1986), 62–78.
R. Dietrich, Modes and Types for Prolog, GMD Karlsruhe 1987 (In Vorbereitung).
L. Fribourg, Handling Function Definitions through Innermost Superposition and Rewriting, Proc. 1st Conf. on Rewriting Techniques and Applications, Dijon, France, LNCS 202, (1985), 323–343.
J.A. Goguen, J. Meseguer, Equality, Types, Modules, and (why not?) Generics for Logic Programming, J. Logic Programming 2, (1984), 179–210.
G. Goos, R. Dietrich, P. Kursawe, Programmiermethoden der Künstlichen Intelligenz, Skript zur Vorlesung an der Universität Karlsruhe, SS 1987.
D. Hammes, Gleichheit in Prolog: Ein Fallbeispiel, Arbeitspapiere der GMD Nr. 228, 1986.
F. Hagl, Statische Analyse und Übersetzung von Prolog Programmen mit Datenfluü- und Typangaben, Diplomarbeit, GMD Forschungsstelle Karlsruhe/Universität Karlsruhe, Juli 1987.
N. Heck, J. Avenhaus, Automatic Implementation of Abstract Data Types Specified by the Logic Programming Language, Proc. of the International Conference on Fifth Generation Computer Systems 1984, ed. ICOT (1984) 210–219.
J. Hsiang, N. Dershowitz, Rewrite Methods for Clausal and Non-Clausal Theorem Proving, Proc. 10th Int. Conf on Automata, Languages and Programming, LNCS 154, 1983.
J. Hsiang, M.K. Srivas. A Prolog Environment for Dein loping and Reasoning about Data Types, in: H.Ehrig, Formal Methods and Software Development Vol.2, LNCS 186,(1985),276–293.
M. Huber, I. Varsek, Extended FJrolog for Order-Sorted Resolution, Fourth IEEE Symposium on Logic Programming, San Francisco. 1987.
J.-M. Hullot, Canonical Forms and Unification, Proc. 5th Conf. on Automated Deduction, LNCS 87, (1980), 318–334.
J. Jaffar, J.-L. Lassez, M.J. Maher, A Theory of Complete Logic Programs with Equality, Proc. Int. Conf. on Fifth Generation Computer Systems, ICOT, Japan, 1981.
B. Knödier, B. Neidecker, W. Hosenstiel, A Prolog Machine for Warren Abstract Instruction Set, Proc. 8th European Conference on Artificial Intelligence, Brighton, England, 1986.
W.A. Kornfeld, Equality for Prolog, 8th Int. Joint Conf. on Artificial Intelligence, Karlsruhe, Germany, 1983.
R. Kowalski, Predicate Logic as a Programming Language, in: J. Rosenfeld (Ed.), Information Processing 74, North Holland, Amsterdam, 1974, 556–574.
P. Kursawe, Programmtransformationen für Horn-Programme: Ein Überblick, Internes Papier, GMD 1985.
P. Kursawe, How to Invent a Prolog Machine, in: E.Shapiro (ed.), Proc. of the 3rd International Conference on Logic Programming, LNCS 225,(1986),134–148.
P. Kursawe, Partial Evaluation and Instantiations, eingereicht zum Workshop on Partial and Mixed Computation, Gl. Avernaes, Dänemark, Oktober 1987a.
P. Kursawe, Transformationen Logischer Programme, GMD 1987b (in Vorbereitung).
N. Lindenberg, KA-Prolog: der Compiler, Arbeitspapier, Institut für Informatik I, Universität Karlsruhe, 1987.
N. Lindenberg, A. Bockmayr, R. Dietrich, P. Kursawe, B. Neidecker, C. Scharnhorst, I. Varsek, KA-Prolog: Sprachdefinition, Arbeitspapiere der GMD Nr. 249 und Interner Bericht 5/87 der Universität Karlsruhe, Institut für Informatik, 1987.
D. McDermott, The Prolog phenomenon, SIGART Newsletter 72 (1980), 16–20.
C. S. Mellish, Some Global Optimizations for a Prolog Compiler, Journal of Logic Programming 1 (1985) 43–66.
A. Mycroft, R.A. O’Keefe, A Polymorphie Type System for Prolog, Artificial Intelligence 23 (1984), 295–307.
P. Mishra, Towards a Theory of Types in Prolog, IEEE Symposium on Logic Programming (1984), 289–298.
L. Naish, Negation and Control for Logic Programs, Springer Heidelberg, LNCS 242, 1986.
B. Neidecker, KAP-Maschine: Maschinenmodell und Instruktionssatz, Interner Bericht 19/86, Universität Karlsruhe, 1986.
W. Schäuble, W. Wagner, Syntaktische Analyse natürlicher Sprache im Hinblick auf ein Zugauskunftssystem, Arbeitspapiere der GMD Nr. 128, 1985.
L. Sterling, E. Shapiro, The Art of Prolog, MIT Press Cambridge, 1986.
W. Straßberger, Datenfluß und Typangaben in Prolog Programmen, Diplomarbeit, GMD Forschungsstelle Karlsruhe/Universität Karlsruhe, März 1986.
P.A. Subrahmanyam, J.-H. You, Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs, Proc. 11th ACM Symp. on Principles of Programming Languages, (1984), 228–234.
H. Tamaki, T. Sato, Unfold/Fold Transformation of Logic Programs, in: S.-A.Tärnlund (ed.), Proc. of the 2nd International Conference on Logic Programming, Uppsala (1984), 127–138.
E. Tick, D.H.D. Warren, Towards a Pipelined Prolog Processor, New Generation Computing 2 (1984) 323–345.
P. Tomko, Ein natürlichsprachliches Zugangssystem zu (Prolog-j Datenbanken, Studienarbeit, Universität Karlsruhe, Institut für Informatik I, 1986.
I. Varsek, Unifizierbare zweischichtige Grammatiken, Dissertation Universität Karlsruhe, 1984. I.Varsek, Ubersetzung logischer Programmiersprachen, GI-Jahrestagung 1986.
R. Venken, A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimisation, ECAI 84, Elsevier Sc. Publ., North-Holland (1984) 91–104.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Goos, G., Dietrich, R., Kursawe, P. (1987). Prolog-Arbeiten in Karlsruhe. In: Brauer, W., Wahlster, W. (eds) Wissensbasierte Systeme. Informatik — Fachberichte, vol 155. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-88719-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-88719-2_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18494-2
Online ISBN: 978-3-642-88719-2
eBook Packages: Springer Book Archive