Logical foundations of object-oriented and frame-based languages
- 1 July 1995
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 42 (4), 741-843
- https://doi.org/10.1145/210332.210335
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- A logic for programming with complex objectsJournal of Computer and System Sciences, 1993
- HiLog: A foundation for higher-order logic programmingThe Journal of Logic Programming, 1993
- Theory of generalized annotated logic programming and its applications**A preliminary report on this research has appeared in [34].The Journal of Logic Programming, 1992
- On the power of magicThe Journal of Logic Programming, 1991
- Logic programming with setsJournal of Computer and System Sciences, 1990
- Paraconsistent logic programmingTheoretical Computer Science, 1989
- A logical analysis of modules in logic programmingThe Journal of Logic Programming, 1989
- SQL/NF: A query language for ¬1NF relational databasesInformation Systems, 1987
- Login: a logic programming language with built-in inheritanceThe Journal of Logic Programming, 1986
- The functional data model and the data languages DAPLEXACM Transactions on Database Systems, 1981