Magic templates: a spellbinding approach to logic programs
- 30 November 1991
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 11 (3-4) , 189-216
- https://doi.org/10.1016/0743-1066(91)90026-l
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- One-sided recursionsJournal of Computer and System Sciences, 1991
- On the power of magicThe Journal of Logic Programming, 1991
- Compiling separable recursionsACM SIGMOD Record, 1988
- A framework for testing safety and effective computability of extended datalogACM SIGMOD Record, 1988
- A message passing framework for logical query evaluationACM SIGMOD Record, 1986
- An amateur's introduction to recursive query processing strategiesACM SIGMOD Record, 1986
- Implementation of logical query languages for databasesACM Transactions on Database Systems, 1985
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- On compiling queries in recursive first-order databasesJournal of the ACM, 1984
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976