Two WAM implementations of action rules

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5366 LNCS, Issue , 2008, Pages 621-635

  Demoen, Bart ^a   Nguyen, Phuong Lan ^b  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b UCO   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; FOURIER TRANSFORMS; INFORMATION THEORY; LOGIC PROGRAMMING; PROGRAMMING THEORY; SUSPENSIONS (COMPONENTS); SEMANTICS;

ACTION RULES; PROGRAM TRANSFORMATIONS;

PROLOG (PROGRAMMING LANGUAGE);

ACTION RULES; PROGRAM TRANSFORMATIONS; PROLOG SYSTEMS;

EID: 58549117370     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89982-2_51     Document Type: Conference Paper

References (13)

1. Aït-Kaci, H.: The WAM: a (real) tutorial. Technical Report 5, DEC Paris Research Report (1990)
2. Carlsson, M.: Freeze, Indexing, and Other Implementation Issues in the WAM. In: Lassez, J.-L. (ed.) Logic Programming: Proc. of the Fourth International Conference, vol. 1, pp. 40-58. MIT Press, Cambridge (1987)
3. Clocksin, W., Mellish, C.: Programming in Prolog. Springer, Heidelberg (1984)
4. Conway, M.E.: Design of a Separable Transition-Diagram Compiler. Communications of the ACM 6(7), 396-408 (1963)
5. Demoen, B., Nguyen, P.-L.: So many WAM variations, so little time. In: Lloyd, J., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Palamidessi, C., Pereira, L.M., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS, vol. 1861, pp. 1240-1254. Springer, Heidelberg (2000)
6. Shen, K.: Overview of DASWAM: Exploitation of Dependent And-parallelism. JLP 29(1-3), 245-293 (1996)
7. Warren, D.H.D.: An Abstract Prolog Instruction Set. Technical Report 309, SRI (1983)
8. Wielemaker, J.: SWI-Prolog release 5.4.0 (2004), http://www.swi-prolog. org/
9. Zhou, N.-F.: Global optimizations in a Prolog compiler for the TOAM. Journal of Logic Programming 15(4), 275-294 (1993)
10. Zhou, N.-F.: On the Scheme of Passing Arguments in Stack Frames for Prolog. In: Proceedings of The International Conference on Logic Programming, pp. 159-174. MIT Press, Cambridge (1994)
11. Zhou, N.-F.: A Novel Implementation Method for Delay. In: Joint Internatinal Conference and Symposium on Logic Programming, pp. 97-111. MIT Press, Cambridge (1996)
12. Zhou, N.-F.: Programming Finite-Domain Constraint Propagators in Action Rules. Theory and Practice of Logic Programming (TPLP) 6(5), 483-508 (2006)
13. Zhou, N.-F.: A Register-Free Abstract Prolog Machine with Jumbo Instructions. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 455-457. Springer, Heidelberg (2007)