Publication | Closed Access
COMPLEX: an object-oriented logic programming system
43
Citations
25
References
1992
Year
EngineeringObject-oriented ModelingFormal VerificationLogic ProgrammingLogic LanguagePrototypical ImplementationDeductive DatabaseData IntegrationQuery LanguagesData ManagementProgramming LanguagesKnowledge RepresentationComputer ScienceDatabase TheoryData AbstractionSoftware DesignRelational QueriesDeclarative ProgrammingAutomated ReasoningProgram AnalysisFormal MethodsObject-oriented ProgrammingKnowledge Compilation
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.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1