Efficient memory management in a merged heap/stack prolog machine
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Numeric Constraint Resolution in Logic Programming Based on Subdefinite Models
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
A System for Tabled Constraint Logic Programming
CL '00 Proceedings of the First International Conference on Computational Logic
Towards a jitting VM for prolog execution
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Lightweight compilation of (c)lp to javascript*
Theory and Practice of Logic Programming
Hi-index | 0.00 |