DocumentCode
3064352
Title
An inference engine for function free logic programs
Author
Böttcher, Stefan
Author_Institution
IBM Deutschland GmbH, Stuttgart, Germany
fYear
1990
fDate
6-9 Nov 1990
Firstpage
885
Lastpage
890
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/TAI.1990.130454
Filename
130454
Link To Document