So Many WAM Variations, So Little Time-Reference-Cited by-同舟云学术

So Many WAM Variations, So Little Time

Published:2000 Issue: Volume: Page:1240-1254
ISSN:0302-9743
Container-title:Computational Logic — CL 2000
language:
Short-container-title:

Author:

Demoen Bart,Nguyen Phuong-Lan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44957-4_83

Reference17 articles.

1. H. Aït-Kaci. Warren’s Abstract Machine: A Tutorial Reconstruction. The MIT Press, Cambridge, Massachusetts, 1991.

2. M. Carlsson. Freeze, Indexing and Other Implementation Issues in the WAM. Proceedings of the 4th International Conference on Logic Programming, Melbourne, 1987, pp 40–58

3. M. Carlsson. Design and Implementation of an Or-Parallel Prolog Engine. PhD thesis, The Royal Institute of Technology (KTH), Stokholm, Sweden, Mar. 1990.

4. Lect Notes Comput Sci;V. S. Costa,1999

5. B. Demoen, M. Garcýa de la Banda, W. Harvey, K. Marriott, and P. Stuckey. Herbrand Constraint Solving in HAL. Proceedings of the International Conference on Logic Programming 1999, Las Cruces, New Mexico, ed. D. De Schreye, MIT Press, pp. 260–274

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Heuristics Entwined with Handlers Combined;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014

2. The YAP Prolog system;Theory and Practice of Logic Programming;2011-10-18

3. Improving the efficiency of inductive logic programming systems;Software: Practice and Experience;2009-02

4. Optimizing Compilation and Computational Complexity of Constraint Handling Rules;Logic Programming;2009

5. Environment Reuse in the WAM;Logic Programming;2008