COMPLEX: An Object-Oriented Logic Programming System

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. >

[1]  Kotagiri Ramamohanarao,et al.  A Generalization of the Differential Approach to Recursive Query Evaluation , 1987, J. Log. Program..

[2]  Catriel Beeri,et al.  An Introduction to the Completeness of Languages for Complex Objects and Nested Relations , 1987, NF².

[3]  Takao Miura.  A logical framework for deductive objects , 1992, Inf. Syst..

[4]  Kotagiri Ramamohanarao,et al.  A Query Independent Method for Magic Set Computation on Stratified Databases , 1988, FGCS.

[5]  Hassan Aït-Kaci,et al.  LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

[6]  David Maier,et al.  Magic sets and other strange ways to implement logic programs (extended abstract) , 1985, PODS '86.

[7]  François Banciihon.  Object-oriented database systems , 1988, PODS 1988.

[8]  Carlo Zaniolo,et al.  Magic counting methods , 1987, SIGMOD '87.

[9]  Henry F. Korth,et al.  Query Languages for Nested Relational Databases , 1987, NF².

[10]  Carlo Zaniolo,et al.  The Generalized Counting Method for Recursive Logic Queries , 1986, Theor. Comput. Sci..

[11]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[12]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[13]  Gabriel M. Kuper,et al.  Logic programming with sets , 1987, PODS '87.

[14]  Kotagiri Ramamohanarao,et al.  Efficient Bottom-UP Computation of Queries on Stratified Databases , 1991, J. Log. Program..

[15]  Carlo Zaniolo,et al.  Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic , 1987, ICLP.

[16]  Andrei P. Ershov,et al.  On the Partial Computation Principle , 1977, Inf. Process. Lett..

[17]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

[18]  Serge Abiteboul,et al.  Towards a Deductive Object-Oriented Database Language , 1990, Data Knowl. Eng..

[19]  David Scott Warren,et al.  C-logic of complex objects , 1989, PODS '89.

[20]  Laurent Vieille,et al.  Recursive Axioms in Deductive Databases: The Query/Subquery Approach , 1986, Expert Database Conf..

[21]  Serge Abiteboul,et al.  Object identity as a query language primitive , 1989, SIGMOD '89.

[22]  Carlo Zaniolo,et al.  On the implementation of a simple class of logic queries for databases , 1985, PODS.

[23]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[24]  François Bancilhon,et al.  Naive Evaluation of Recursively Defined Relations , 1986, On Knowledge Base Management Systems.

[25]  Catriel Beeri,et al.  On the power of magic , 1987, J. Log. Program..

[26]  Barry Fagin,et al.  The Berkeley PLM Instruction Set: An Instruction Set for Prolog , 1986 .