Prolog at IBM: an advanced and evolving application development technology
IBM Systems Journal
Parallel Logic Programming for Problem Solving
International Journal of Parallel Programming
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel symbolic computation in ACE
Annals of Mathematics and Artificial Intelligence
YapOr: an Or-Parallel Prolog System Based on Environment Copying
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
On applying or-parallelism and tabling to logic programs
Theory and Practice of Logic Programming
High Level Thread-Based Competitive Or-Parallelism in Logtalk
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Threads and or-parallelism unified
Theory and Practice of Logic Programming
Coalgebraic semantics for parallel derivation strategies in logic programming
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Theory and Practice of Logic Programming - Prolog Systems
Hi-index | 0.00 |