Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The YAP Prolog system;Theory and Practice of Logic Programming;2011-10-18
2. The Life of a Logic Programming System;Logic Programming;2008
3. Chapter 5: Spatio-temporal Models and Languages: An Approach Based on Constraints;Lecture Notes in Computer Science;2003
4. The vienna abstract machine;Programming Language Implementation and Logic Programming
5. Fast prolog with a VAM1p based Prolog compiler;Programming Language Implementation and Logic Programming