Partial evaluation in constraint logic programming

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

Volumn 1079, Issue , 1996, Pages 98-107

  Wrzos Kamifńska, Agata ^a  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; INTELLIGENT SYSTEMS;

CONSTRAINT LOGIC PROGRAMMING; CONSTRAINT LOGIC PROGRAMS; FORMAL FOUNDATION; OPTIMIZATION TECHNIQUES; PARTIAL DEDUCTION; PARTIAL EVALUATION;

LOGIC PROGRAMMING;

EID: 21344471278     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61286-6_135     Document Type: Conference Paper

References (14)

1. R.N. Bol. Loop checking in partial deduction. J. Logic Programming, 16(1&:2):25-46, 1993.
2. M. Bruynooghe, D. De Shreye, and B. Martens. A general criterion for avoiding infinite unfolding during partial deduction of logic programs. New Generation Computing, 11(1):47-79, 1992.
3. K.L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293-322. Plenum Press, 1978.
4. A. Colmerauer. Equations and inequations on finite and infinite trees. In Proc. Pnd Int. Conf. on Fifth Generation Computer Systems, pages 85-99, 1984.
5. A. Colmerauer. Opening the Prolog III universe. Byte magazine, 12(9), August 1987.
6. J. Jaffar and :I.-L. Lassez. Constraint Logic Programming. In Proc. 14th ACM Syrup. on Principles of Programming Languages, pages 111-119. ACM Press, 1987.
7. J. Jaffar and J.-L. Lassez. From unification to constraints. In Proc. Conf. Logic Programming '87, LNCS 315, pages 1-18. Springer-Verlag, 1988.
8. J. Jaffar and M.J. Maher. Constraint Logic Programming: a survey. J. Logic Programming, 19/20:503-581, 1994.
9. J. Jaffar, S. Michaylov, P.J. Stuckey, and R.H.C. Yap. The CLP(TZ) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339-395, 1992.
10. N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993.
11. H.J. Komorowski. A Specification of an Abstract Prolog Machine and its Application to Partial Evaluation. PhD thesis, Linköping University, Sweden, 1981. LSST Dissertations 69.
12. J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2nd edition, 1987.
13. J.W. Lloyd and J.C Sheperdson. Partial evaluation in logic programming. J. Logic Programming, 11(3&4):217-242, 1991.
14. M.J. Maher. A logic programming view of CLP. In Proc. lOth Int. Conf. on Logic Programming, pages 737-753. MIT Press, 1993.