Toward the Concept of Backtracking Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a jitting VM for prolog execution
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Theory and Practice of Logic Programming - Prolog Systems
Hi-index | 0.00 |