Applications of the Aurora parallel Prolog system to computational molecular biology

Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)

Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!)

Proceedings of the sixth workshop on Declarative aspects of multicore programming

Integrated symbol table, engine and heap memory management in multi-engine prolog

Proceedings of the international symposium on Memory management

Coordination and concurrency in multi-engine prolog

COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages

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

Theory and Practice of Logic Programming - Prolog Systems

Agent spaces: a scalable architecture for distributed logic agents

Proceedings of the 2012 ACM Research in Applied Computation Symposium