An object-oriented deductive language
- 1 June 1991
- journal article
- Published by Springer Nature in Annals of Mathematics and Artificial Intelligence
- Vol. 3 (2) , 211-258
- https://doi.org/10.1007/bf01530926
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- The Object-Oriented Database System ManifestoPublished by Elsevier ,1990
- C-logic of complex objectsPublished by Association for Computing Machinery (ACM) ,1989
- Untyped sets, invention, and computable queriesPublished by Association for Computing Machinery (ACM) ,1989
- Object identity as a query language primitivePublished by Association for Computing Machinery (ACM) ,1989
- Sets and negation in a logic data base language (LDL1)Published by Association for Computing Machinery (ACM) ,1987
- An amateur's introduction to recursive query processing strategiesPublished by Association for Computing Machinery (ACM) ,1986
- Naive Evaluation of Recursively Defined RelationsPublished by Springer Nature ,1986
- Magic sets and other strange ways to implement logic programs (extended abstract)Published by Association for Computing Machinery (ACM) ,1985
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955