A matching tree oriented abstract machine for Prolog

Unification factoring for efficient execution of logic programs

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

The Life of a Logic Programming System

ICLP '08 Proceedings of the 24th International Conference on Logic Programming

Demand-driven indexing of prolog clauses

ICLP'07 Proceedings of the 23rd international conference on Logic programming

The yap prolog system

Theory and Practice of Logic Programming - Prolog 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

The language features and architecture of b-prolog

Theory and Practice of Logic Programming - Prolog Systems

Prolog performance on larger datasets

PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages