An abstract machine for SLG resolution: definite programs

Memoing Evaluation for Constraint Extensions of Datalog

Constraints

A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives

Proceedings of the 17th International Conference on Logic Programming

FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine

CL '00 Proceedings of the First International Conference on Computational Logic

On applying or-parallelism and tabling to logic programs

Theory and Practice of Logic Programming

Dynamic reordering of alternatives for definite logic programs

Computer Languages, Systems and Structures

OpenRuleBench: an analysis of the performance of rule engines

Proceedings of the 18th international conference on World wide web

Approximate pruning in tabled logic programming

ESOP'03 Proceedings of the 12th European conference on Programming

Tabling for transaction logic

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming

Inspecting side-effects of abduction in logic programs

Logic programming, knowledge representation, and nonmonotonic reasoning

Reasoning with the depth-first iterative deepening strategy in the DLog system

OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems

The binprolog experience: Architecture and implementation choices for continuation passing prolog and first-class logic engines

Theory and Practice of Logic Programming - Prolog Systems