Parallel logic programming systems
ACM Computing Surveys (CSUR)
Evaluating parallel logic programming systems on scalable multiprocessors
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Exploiting Efficient Control and Data Structures in Logic Programs
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems
CL '00 Proceedings of the First International Conference on Computational Logic
PAN: a portable, parallel prolog: Its design, realisation and performance
New Generation Computing
Hi-index | 0.00 |