Hai-Feng Guo;Gopal Gupta
-;-
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives
Proceedings of the 17th International Conference on Logic Programming