Complex-Datalog(ID:7838/)


also C-Datalog


Related languages
COL => Complex-Datalog   Influence
Complex-Prolog => Complex-Datalog   Evolution of
DATALOG => Complex-Datalog   Built on

References:
  • S. Greco, N. Leone, and P. Rullo. "COMPLEX: An Object-Oriented Logic Programming System" IEEE Transactions on Knowledge and Data Engineering, 4(4):344{359, 1992. view details 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.