Logic programming with sets
Author:
- Gabriel M. KuperGKGabriel M. Kuper
- 1 August 1990
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 41 (1) , 44-64
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