Title :
An inference engine for function free logic programs
Author :
Böttcher, Stefan
Author_Institution :
IBM Deutschland GmbH, Stuttgart, Germany
Abstract :
The evaluation of function free logic programs by the PROTOS-L system is presented. PROTOS-L is a logic programming language which embeds a module concept, provides read access to external databases and combines order-sorted types with polymorphism. From this viewpoint, PROTOS-L is similar to DATALOG embedded in a typed logic programming language. A small fragment of a travel information system is used to illustrate the evaluation of queries to function free PROTOS-L logic programs
Keywords :
data structures; high level languages; inference mechanisms; logic programming; software reliability; travel industry; DATALOG; PROTOS-L logic programs; PROTOS-L system; external databases; function free logic programs; inference engine; logic programming language; module concept; order-sorted types; polymorphism; queries; read access; travel information system; Board of Directors; Deductive databases; Engines; Expert systems; Knowledge based systems; Logic programming; Neutron spin echo; Programming profession; Query processing; Relational databases;
Conference_Titel :
Tools for Artificial Intelligence, 1990.,Proceedings of the 2nd International IEEE Conference on
Conference_Location :
Herndon, VA
Print_ISBN :
0-8186-2084-6
DOI :
10.1109/TAI.1990.130454