Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
A segment-swapping approach for executing trapped computations
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Hi-index | 0.00 |