COMPLEX: an object-oriented logic programming system

Author

Greco, Sergio ; Leone, Nicola ; Rullo, Pasquale

Author_Institution

Calabria Univ., Rende, Italy

Volume

4

Issue

4

fYear

1992

fDate

8/1/1992 12:00:00 AM

Firstpage

344

Lastpage

359

Abstract

The design and a prototypical implementation of COMPLEX, which is a logic-based system extended with concepts from the object-oriented paradigm and is intended as a tool for the development of knowledge-based applications, are described. The system supports a logic language, called Complex-Datalog (C-Datalog), enhanced by semantic constructs to provide facility for data abstraction. Its implementation is based on a bottom-up computational model that guarantees a fully declarative style of programming. However, the user is also given the possibility of running a query using a top-down model of computation. Efficiency of execution is the result of the integration of different novel technologies for the compilation and the execution of queries

Keywords

knowledge based systems; logic programming; object-oriented programming; software prototyping; C-Datalog; COMPLEX; Complex-Datalog; bottom-up computational model; fully declarative style of programming; knowledge-based applications; logic language; object-oriented logic programming system; prototypical implementation; semantic constructs; tool; top-down model; Computational modeling; Data models; Database languages; Helium; Logic programming; Navigation; Object oriented databases; Object oriented modeling; Prototypes; Query processing;

fLanguage

English

Journal_Title

Knowledge and Data Engineering, IEEE Transactions on

Publisher

ieee

ISSN

1041-4347

Type

jour

DOI

10.1109/69.149930

Filename

149930