Zusammenfassung
Wir stellen eine Klassisfizierung DB-basierter PROLOG-Systeme vor und beschreiben (eingeordnet In diese Klassifikation) einen neuen Ansatz zur Integration eines DB-Systems in eine PROLOG-Programmierumgebung. Dieser neue Ansatz zeichnet sich vor allem dadurch aus, dass nicht nur Fakten, sondern auch Regeln durch ein DB-Zugriffssystem verwaltet werden. Als Implementierungsergebnis wird das System CPDB (Controlled Prolog for DataBases) präsentiert, das ausser der DB-Unterstützung fit eine PROLOG-Programmierumgebung eine Effizienzsteigerung des Interpreten gegenüber der üblichen Ableitungsstrategie (i. a. Backtracking) durch die Vereinbarung von Metaregeln ermöglicht.
Abstract
First we introduce a classification of DB-supported PROLOG systems. Embedded in this classification we describe a new way of integrating a DB-system in PROLOG. This new way is characterized by the possibility to store not only facts but also rules in the DB. Furthermore our implemented system CPDB (Controlled Prolog for DataBases) provides a metasystem to incorporate meta-level knowledge to speed up the execution.
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
Appelrath, H.-J.: “Wissensbereitstellung in Expertensystemen: Inferenzmechanlsmen auf relationalen Datenbanken”, Dissertationsschrift, Universität Dortmund, Abteilung Informatik,1983.
Appelrath, H.-J.: “Die Erweiterung von DB- und IR-Systemen zu Wissensbasierten Systemen”, erscheint in: “Tagungsband Deutscher Dokumentartag ‘84”, Verlag Saur, München, 1985.
Appelrath, H.-J.: Bense, H.: “Abschlussbericht der Projektgruppe Deduktive DB-Systeme”, Interner Bericht der Abt. Informatik der Universität Dortmund, 1982.
Bense, H.; Cremen, A.B.: “B-GEN — A Generalized Application Development System”, Forschungsbericht Nr. 178, Abt Informatik der Universität Dortmund, 1984.
Bense. H.: “Datenbankkonzepte für die Anwendungsprogrammierung Im Personal Computing”, In: Proceedings der GACM-Fachtagung “Personal Computing” in Freiburg, Teubner Verlag, Stuttgart,1981.
Campbell, J.A.: “Implementations of PROLOG”. Ells Harwood Limited, Chichester,1984.
Clocksin, W.F.; Mellish, CS.: “Programming in PROLOG”, Springer-Verlag, Heidelberg, 1981.
Clocksin, W.F.; Mellish, C.S.: “The UNIX PROLOG System”, Software Report 5, Dept of Artifldal Intelligence, University of Edinburgh, Schottland, 1979.
Esermann, L: “Entwurf und Implementierung eines Zugriffssystems Er die Verwaltung von PROLOG-Programmen in relationalen Datenbanken”, Diplomarbeit der Abt Informatik der Universität Dortmund, 1984.
Fronzek, S.: “Implementierung eines mehrbenutzerfähigen Datenbank-Systems in einem Multi Personal Computer System”, Diplomarbeit der Abt Informatik der Universität Dortmund, 1983.
Gallaire, H.; Lasserre, C.: “Metalevel Control for Logic Programs”, In: “Logic Programming” (Hrsg. ClarkANDTärnlund), Academic Press, 1982, S. 173 ff.
Gallaire, H.; Minker, L: “LOGIC AND DATA BASES”, Plenum Press, New York, 1978.
Schom, P.; Schulz, T.: “LOGULA- die Integration von PROLOG und MODULA-2”, Semesterarbeit am Institut für Informatik der ETH Zürich, 1984.
Ginsburg, S.: “Control Sets on Grammars”, Mathematical Systems Theory, Vol. 2, No. 2, 1968, S. 159ff.
Harder, T.; Reuter, A.: “Database Systems for Non-Standard Applications”, In: Proceedings of the International Computing Symposium, Stuttgart, 1983, S. 452–466.
Mitschang, B.: “Überlegungen zur Architektur von Datenbanksystemen für Ingenieuranwendungen”, in: “GI-Jahrestagung ‘84”, Informatik-Fachbericht Nr. 88, Springer Verlag, 1984, S. 318–334.
Müller, C.: “A Prolog Front End To The Grid File”, Diplomarbeit am Institut für Informatik der ETH Zurich, 1984.
Pereira, L.M.; Pereira. F.. Warren, D.: “Usds Guide to DECsystem-10 PROLOG”, Interner Bericht des Laboratorio National de Engenharia Civil, Lissabon/ Portugal, 1980.
Rose, T.: “Entwurf und Implementierung eines PROLOG-Interpreters und ehre Meta-Systems zur Integration von Kontroll-Wissen”. Diplomarbeit der Abt. Informatik der Universität Dortmund, 1984.
Robinson, J.A.; Sibert, E.E.: “LOGLISP: An Alternative to Prolog”, Machine Intelligence 10, Ellis Horwood Limited, Chichester, 1982.
Schnupp, P.: “PROLOG als Speziflkations-und Modellierungswerkzeug”, In: “Requirements Engineering”, Informatik-Fachbericht Nr. 74. Springer Verlag, Heidelberg, 1983, S. 173 ff.
Schweinberger, L: “Implementierung einer graphischen Query Language auf einem Mikrocomputer”, Diplomarbeit der Abt Informatik der Universität Dortmund, 1983.
Schorn, P.; Schulz, T.: “LOGULA- die Integration von PROLOG und MODULA-2”, Semesterarbelt am Instltut für Informatik der ETH Zürich, 1984.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Appelrath, HJ., Bense, H. (1985). Zwei Schritte zur Verbesserung von PROLOG-Programmiersystemen: DB-Unterstützung und Meta-Interpreter. In: Blaser, A., Pistor, P. (eds) Datenbank-Systeme für Büro, Technik und Wissenschaft. Informatik-Fachberichte, vol 94. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70284-6_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-70284-6_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15196-8
Online ISBN: 978-3-642-70284-6
eBook Packages: Springer Book Archive