Or-parallel Execution of Prolog on BC-machine (1988)

by K Ali
Venue:In Proceedings of the International Conference and Symposium on Logic Programming