Skip to main content
SpringerLink
Log in
Book cover

Wissensbasierte Systeme pp 388–400Cite as

PROTOS-L: Towards a Knowledge Base Programming Language

  • Conference paper

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 227))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. S. Böttcher and C. Beierle. Data base support for the PROTOS-L system. In Proceedings EUROMICRO-89, North Holland, 1989.

    Google Scholar 

  4. Douglas DeGroot and Gary Lindstrom, editors. Functional and Logic Programming. Prentice Hall, 1986.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. C. Garidis. Logisches Clustering von PROTOS-L Prozeduren. PROTOS Document B. 4, IBM Germany, Stuttgart, 1988.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. M. Hanus. Horn Clause Specifications with polymorphic types. PhD thesis, FB Informatik, Universität Dortmund, 1988.

    Google Scholar 

  11. M. Hanus. Horn clause programs with polymorphic types. In Proceedings TAPSOFT’89, Springer-Verlag, 1989.

    Google Scholar 

  12. R. Harper, D. MacQueen, and R. Milner. Standard ML. Report ECS-LFCS-86-2, Dep. of Computer Science, Univ. of Edinburgh, 1986.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. 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.

    Google Scholar 

  16. A. Mycroft and R. A. O’Keefe. A polymorphic type system for Prolog. Artificial Intelligence, 23: 295–307, 1984.

    Article  MATH  MathSciNet  Google Scholar 

  17. J. Mylopoulos and M. L. Brodie, editors. On Knowledge Base Management Systems. Springer-Verlag, Berlin, Heidelberg, New York, 1986.

    MATH  Google Scholar 

  18. J. W. Schmidt, H. Eckhardt, and F. Matthes. DBPL Report. DBPL-Memo 111-88, Univ. Frankfurt, 1988.

    Google Scholar 

  19. 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.

    Google Scholar 

  20. 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.

    Google Scholar 

  21. G. Smolka. TEL (Version 0.9), Report and User Manual SEKI-Report SR 87-17, FB Informatik, Universität Kaiserslautern, 1988.

    Google Scholar 

  22. G. Smolka. Logic Programming over Polymorphically Order-Sorted Types. PhD thesis, FB Informatik, Univ. Kaiserslautern, 1989.

    Google Scholar 

  23. Y. Vassiliou. Integrating database management and expert, systems. In Proceedings BTW- 85, Informatik-Fachberichte, Springer-Verlag, Berlin, Heidelberg, New York, 1985.

    Google Scholar 

  24. C. Walther. A mechanical solution of Schubert’s steamroller by many-sorted resolution. Artificial Intelligence, 26: 217–224, 1985.

    Article  MATH  MathSciNet  Google Scholar 

  25. C. Walther. Many-sorted unification. Journal of the ACM, 35 (1): 1–17, January 1988.

    Article  MathSciNet  Google Scholar 

  26. D. Warren. An Abstract PROLOG Instruction Set. Technical Report 309, SRI, 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Scientific Center Institute for Knowledge Based Systems, IBM Deutschland GmbH, P.O.Box 80 08 80, D - 7000, Stuttgart 80, West Germany

    Christoph Beierle & Stefan Böttcher

Authors
  1. Christoph Beierle
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefan Böttcher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Technische Universität München, Postfach 202420, D-8000, München 2, Germany

    W. Brauer  & C. Freksa  & 

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation