PROTOS-L
PROTOS-L is a logic programming language that integrates a variety of concepts for programming large knowledge based systems. In particular, it has a powerful type concept, a module concept, high-level access to external relational databases, and finite domain constraints. The type concept covers user defined sorts, subsort relationships supporting multiple inheritance and parameterized sorts in the form of polymorphism.
PROTOS-L was developed within the EUREKA-Project PROTOS (EU56) until 1993. It was further extended within the WISPRO-Project where it is used for the implementation of knowledge-based planing and scheduling system. Further information on the concepts of PROTOS-L, its implementation and applications developed can be found in the PROTOS-L report and the PROTOS-L User's Manual and also in the following pages: