Logic programming with sets
- 31 August 1990
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 41 (1), 44-64
- https://doi.org/10.1016/0022-0000(90)90033-h
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- On compiling queries in recursive first-order databasesJournal of the ACM, 1984
- Database abstractionsACM Transactions on Database Systems, 1977
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976