Issue No. 04 - August (1992 vol. 4)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.149930
<p>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.</p>
COMPLEX; object-oriented logic programming system; prototypical implementation; tool; knowledge-based applications; logic language; Complex-Datalog; C-Datalog; semantic constructs; bottom-up computational model; fully declarative style of programming; top-down model; knowledge based systems; logic programming; object-oriented programming; software prototyping
S. Greco, P. Rullo and N. Leone, "COMPLEX: An Object-Oriented Logic Programming System," in IEEE Transactions on Knowledge & Data Engineering, vol. 4, no. , pp. 344-359, 1992.