论文信息 - PROTOS-L: Towards a Knowledge Base Programming Language

PROTOS-L: Towards a Knowledge Base Programming Language

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.

Christoph Beierle | Stefan Böttcher

[1] Christoph Walther. A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution , 1984, AAAI.

[2] Pierre Lescanne,et al. Algebraic and Logic Programming , 1988, Lecture Notes in Computer Science.

[3] Christoph Walther,et al. Many-sorted unification , 1988, JACM.

[4] Yannis Vassiliou,et al. Integrating Database Management and Expert Systems , 1985, BTW.

[5] John Mylopoulos. On knowledge base management systems , 1986 .

[6] José Meseguer,et al. EQLOG: Equality, Types, and Generic Modules For Logic Programming , 1986, Logic Programming: Functions, Relations, and Equations.

[7] José Meseguer,et al. Principles of OBJ2 , 1985, POPL.

[8] Michael Hanus. Horn Clause Specifications with Polymorphic Types , 1988, ADT.

[9] Matthias Jarke,et al. Data Constructors: On the Integration of Rules and Relations , 1985, VLDB.

[10] Hans-Jürgen Appelrath. Das EUREKA-Projekt PROTOS , 1987, Wissensbasierte Systeme.

[11] Gert Smolka,et al. Logic Programming with Polymorphically Order-Sorted Types , 1988, ALP.

[12] Martin Huber,et al. Extended Prolog for Order-Sorted Resolution , 1987, SLP.

[13] Roland Dietrich,et al. A Polymorphic Type System with Subtypes for Prolog , 1988, ESOP.

[14] Alan Mycroft,et al. A Polymorphic Type System for Prolog , 1984, Logic Programming Workshop.