Magic sets and other strange ways to implement logic programs (extended abstract)

This publication has 4 references indexed in Scilit:

• A message passing framework for logical query evaluation
  Published by Association for Computing Machinery (ACM) ,1986
• Naive Evaluation of Recursively Defined Relations
  Published by Springer Nature ,1986
• Implementation of logical query languages for databases
  ACM Transactions on Database Systems, 1985
• Parsing as deduction
  Published by Association for Computational Linguistics (ACL) ,1983