Abstract
Developing and maintaining knowledge bases is of central importance for any knowledge based system. PROTOS-L is a language based on logic programming that integrates a variety of concepts for programming large knowledge based systems like a powerful type concept, a module concept, and access to relational databases. The type concept covers user defined sorts, subsort relationships supporting multiple inheritance and parameterized sorts in the form of polymorphism. The module concept is similar to that of Modula-2 and allows to hide implementation details from the user of a module. Database access is fully embedded in the programming language PROTOS-L and can be programmed transparent to the user of a program or a program part. It is argued that the integration of these concepts into a uniform framework leads to a powerful knowledge base programming language. For illustration purposes we develop a job planning scenario. PROTOS-L is currently being designed and implemented at IBM Stuttgart within the international EUREKA project PROTOS.
Zusammenfassung
Die Entwicklung und Verwaltung von Wissensbanken ist für jedes wissensbasierte System von zentraler Bedeutung. PROTOS-L ist eine Sprache, die auf dem logischen Programmieren aufbaut und verschiedene Konzepte für die Programmierung von großen Wissensbanken zur Verfügung stellt: Ein mächtiges Typkonzept, ein Modulkonzept und Zugriff auf relationale Da tenbanken. Das Typkonzept umfaßt benutzerdefinierte Sorten, Untersortenbeziehungen und parametrisierte Sorten in der Form von Polymorhpismus. Das Modulkonzept ist ähnlich zu dem von Modula-2 und erlaubt es, von Implementierungsdetails zu abstrahieren. Datenbankzugriffe sind vollständig in die Programmiersprache PROTOS-L eingebettet und bleiben für den Benutzer eines Moduls transparent. Es wird aufgezeigt, daß die Integration dieser Konzepte zu einer mächtigen Programmiersprache für Wissensbanken führt. Als Beispielsanwendung entwickeln wir ein Szenario aus der Auftragsplanung. PROTOS-L wird zur Zeit bei IBM in Stuttgart innerhalb des internationalen EUREKA Projekts PROTOS entworfen und implementiert.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
H.-J. Appelrath. Das EUREKA-Projekt PROTOS. In W. Brauel and W. Wahlster, editors, Proceedings GI-Kongreß Wissensbasierte Systeme, pages 1–11, Springer-Verlag, Informatik- Fachberichte 155, 1987.
S. Böttcher. The architecture of the PROTOS-L system. In H.-J. Appelrath, A. B. Cremers, and H. Schiltknecht, editors, Proc. First PROTOS Workshop, Morcote, Switzerland, 1988.
S. Böttcher and C. Beierle. Data base support for the PROTOS-L system. In Proceedings EUROMICRO-89, North Holland, 1989.
Douglas DeGroot and Gary Lindstrom, editors. Functional and Logic Programming. Prentice Hall, 1986.
R. Dietrich and F. Hagl. A polymorphic type system with subtypes for Prolog. In Proceedings of the 2nd European Symposium on Programming, pages 79–93, volume 300 of Lectures Notes in Computer Science, Springer-Verlag, Berlin, Heidelberg, New York, 1988.
H. Eckhardt, J. Edelmann, J. Koch, M. Mall, and J. W. Schmidt. Draft Report on the Database Programming Language DBPL. DBPL-Memo 091-85, Univ. Frankfurt, 1985.
K. Futatsugi, J. Goguen, J.-P. Jouannaud, and J. Meseguer. Principles of OBJ2. In B. Reid, editor, Proceedings of 12th ACM Conference on Principles of Programming Languages, pages 52–66, ACM, 1985.
C. Garidis. Logisches Clustering von PROTOS-L Prozeduren. PROTOS Document B. 4, IBM Germany, Stuttgart, 1988.
Joseph A. Goguen and Jose Meseguer. Eqlog: equality, types, and generic modules for logic programming. In Douglas DeGroot and Gary Lindstrom, editors, Functional and Logic Programming, pages 295–363, Prentice Hall, 1986.
M. Hanus. Horn Clause Specifications with polymorphic types. PhD thesis, FB Informatik, Universität Dortmund, 1988.
M. Hanus. Horn clause programs with polymorphic types. In Proceedings TAPSOFT’89, Springer-Verlag, 1989.
R. Harper, D. MacQueen, and R. Milner. Standard ML. Report ECS-LFCS-86-2, Dep. of Computer Science, Univ. of Edinburgh, 1986.
M. Huber and I. Varsek. Extended Prolog for order-sorted resolution. In Proceedings of the 4th IEEE Symposium on Logic Programming, pages 34–45, San Francisco, 1987.
M. Jarke, V. Linnemann, and J. W. Schmidt. Data constructors: On the integration of rules and relations. In Proceedings of the 11th International Conference on Very Large Data Bases, Stockholm, 1985.
B. Müller. Entwurf und Implementierung einer abstrakten Maschine für ordnungsortierte Logikprogramme. Studienarbeit Nr. 711, Universität Stuttgart und IBM Deutschland GmbH, Stuttgart, October 1988.
A. Mycroft and R. A. O’Keefe. A polymorphic type system for Prolog. Artificial Intelligence, 23: 295–307, 1984.
J. Mylopoulos and M. L. Brodie, editors. On Knowledge Base Management Systems. Springer-Verlag, Berlin, Heidelberg, New York, 1986.
J. W. Schmidt, H. Eckhardt, and F. Matthes. DBPL Report. DBPL-Memo 111-88, Univ. Frankfurt, 1988.
H. Semle. Erweiterung einer abstrakten Maschine für Ordnungssortiertes Prolog um die Behandlung polymorpher Sorten. Diplomarbeit Nr. 583, Universität Stuttgart und IBM Deutschland GmbH, Stuttgart, April 1989.
G. Smolka. Logic programming with polymorphically order-sorted types. In J. Grabowski, P. Lescanne, and W. Wechler, editors, Algebraic and Logic Programming, Akademie-Verlag, Berlin, 1988.
G. Smolka. TEL (Version 0.9), Report and User Manual SEKI-Report SR 87-17, FB Informatik, Universität Kaiserslautern, 1988.
G. Smolka. Logic Programming over Polymorphically Order-Sorted Types. PhD thesis, FB Informatik, Univ. Kaiserslautern, 1989.
Y. Vassiliou. Integrating database management and expert, systems. In Proceedings BTW- 85, Informatik-Fachberichte, Springer-Verlag, Berlin, Heidelberg, New York, 1985.
C. Walther. A mechanical solution of Schubert’s steamroller by many-sorted resolution. Artificial Intelligence, 26: 217–224, 1985.
C. Walther. Many-sorted unification. Journal of the ACM, 35 (1): 1–17, January 1988.
D. Warren. An Abstract PROLOG Instruction Set. Technical Report 309, SRI, 1983.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beierle, C., Böttcher, S. (1989). PROTOS-L: Towards a Knowledge Base Programming Language. In: Brauer, W., Freksa, C. (eds) Wissensbasierte Systeme. Informatik-Fachberichte, vol 227. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75182-0_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-75182-0_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51838-9
Online ISBN: 978-3-642-75182-0
eBook Packages: Springer Book Archive