The GNU prolog system and its implementation

Proceedings of the ACM Symposium on Applied Computing

Volumn 2, Issue , 2000, Pages 728-732

  Diaz, Daniel ^a,b   Codognet, Philippe ^b,c  

^a UNIVERSITÉ PARIS 1 PANTHÉON SORBONNE   (France)

^b INRIA ROCQUENCOURT   (France)

^c SORBONNE UNIVERSITÉ   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMMERCIAL SYSTEMS; COMPILATION PROCESS; CONSTRAINT SOLVERS; EXECUTABLE FILES; FINITE DOMAINS; ISO STANDARDS; PROLOG SYSTEMS; STAND -ALONE;

COMPUTATION THEORY;

EID: 84893583657     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/338407.338553     Document Type: Conference Paper

References (14)

1. H. Aït-Kaci. Warren's Abstract Machine, A Tutorial Reconstruction. Logic Programming Series, MIT Press, 1991.
2. M. Carlsson. Design and Implementation of an Or-Parallel Prolog Engine. PhD dissertation, SICS, Sweden, 1990.
3. J. Chailloux. La machine LLM3. Technical Report RT-055, INRIA, 1985.
4. P. Codognet and D. Diaz, wamcc: Compiling Prolog to C. In 12th International Conference on Logic Programming, Tokyo, Japan, MIT Press, 1995.
5. P. Codognet and D. Diaz. A Minimal Extension of the WAM for clp(FD). In Proc. ICLP'93, 10th International Conference on Logic Programming. Budapest, Hungary, MIT Press, 1993.
6. P. Codognet and D. Diaz. Compiling Constraint in clp(FD). Journal of Logic Programming, Vol. 27, No. 3, June 1996.
7. Information technology - Programming languages - Prolog -Part 1: General Core. ISO/IEC 13211-1, 1995.
8. J. Jaffar and J-L. Lassez. Constraint Logic Programming. In Principles Of Programming Languages, Munich, Germany, January 1987.
9. V. Saraswat, P. Van Hentenryck, P. Codognet et al. Constraint Programming. ACM Computing Surveys, vol. 28, no. 4, Dec. 1996.
10. E. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993.
11. P. Van Hentenryck. Constraint Satisfaction in Logic Programming. Logic Programming Series, The MIT Press, 1989.
12. P. Van Hentenryck, V. Saraswat and Y. Deville. Constraint processing in cc(FD). In: Constraint Programming : Basics and Trends, A. Podelski (Ed.), LNCS 910, Springer Verlag 1995. First version: Research Report, Brown University, Jan. 1992.
13. P. Van Roy and A. Despain. High-Performance Logic Programming with the Aquarius Prolog Compiler. IEEE Computer, pp 54-67, 1992.
14. D. H. D. Warren. An Abstract Prolog Instruction Set. Technical Report 309, SRI International, Oct. 1983.