Adding constraint handling rules to curry

Proceedings of the 20th Workshop on Logic Programming, WLP 2006

Volumn , Issue , 2006, Pages 81-90

  Hanus, Michael ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING;

APPLICATION-ORIENTED; CONSTRAINT HANDLING RULES; CONSTRAINT SOLVERS; FLEXIBLE CONSTRAINT; FUNCTIONAL NOTATIONS; MULTI-PARADIGM LANGUAGES; PROLOG PROGRAMS; RULE-BASED LANGUAGE;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84893431507     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, Vol. 47, No. 4, pp. 776-822, 2000.
2. S. Antoy and M. Hanus. Compiling Multi-Paradigm Declarative Programs into Prolog. In Proc. International Workshop on Frontiers of Combining Systems (FroCoS'2000), pp. 171-185. Springer LNCS 1794, 2000.
3. S. Antoy and M. Hanus. Functional Logic Design Patterns. In Proc. of the 6th International Symposium on Functional and Logic Programming (FLOPS 2002), pp. 67-87. Springer LNCS 2441, 2002.
4. G.J. Duck, M. Garcia de la Banda, P.J. Stuckey, and C. Holzbaur. The Refined Operational Semantics of Constraint Handling Rules. In Proceedings of the 20th International Conference on Logic Programming (ICLP 2004), pp. 90-104. Springer LNCS 3132, 2004.
5. A.J. Fernández, M.T. Hortalá-González, and F. Sáenz-Pérez. Solving Combinatorial Problems with a Constraint Functional Logic Language. In Proc. of the 5th International Symposium on Practical Aspects of Declarative Languages (PADL 2003), pp. 320-338. Springer LNCS 2562, 2003.
6. T. Frühwirth. Theory and Practice of Constraint Handling Rules. Journal of Logic Programming, Vol. 37, No. 1-3, pp. 95-138, 1998.
7. M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, Vol. 19&20, pp. 583-628, 1994.
8. M. Hanus. A Unified Computation Model for Functional and Logic Programming. In Proc. of the 24th ACM Symposium on Principles of Programming Languages (Paris), pp. 80-93, 1997.
9. M. Hanus. A Functional Logic Programming Approach to Graphical User Interfaces. In International Workshop on Practical Aspects of Declarative Languages (PADL'00), pp. 47-62. Springer LNCS 1753, 2000.
10. M. Hanus. High-Level Server Side Web Scripting in Curry. In Proc. of the Third International Symposium on Practical Aspects of Declarative Languages (PADL'01), pp. 76-92. Springer LNCS 1990, 2001.
11. M. Hanus. Dynamic Predicates in Functional Logic Programs. Journal of Functional and Logic Programming, Vol. 2004, No. 5, 2004.
12. M. Hanus, S. Antoy, M. Engelke, K. Höppner, J. Koj, P. Niederau, R. Sadre, and F. Steiner. PAKCS: The Portland Aachen Kiel Curry System. Available at http://www.informatik.uni-kiel.de/~pakcs/, 2005.
13. M. Hanus, K. Höppner, and F. Huch. Towards Translating Embedded Curry to C. Electronic Notes in Theoretical Computer Science, Vol. 86, No. 3, 2003.
14. M. Hanus and F. Huch. An Open System to Support Web-based Learning. In Proc. 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2003), pp. 269-282. Technical Report DSIC-II/13/03, Universidad Politécnica de Valencia, 2003.
15. M. Hanus (ed.). Curry: An Integrated Functional Logic Language (Vers. 0.8). Available at http://www.informatik.uni-kiel.de/~curry, 2003.
16. C. Holzbaur and T. Frühwirth. Compiling Constraint Handling Rules into Prolog with Attributed Variables. In Proc. of the International Conference on Principles and Practice of Declarative Pro-gramming (PPDP'99), pp. 117-133. Springer LNCS 1702, 1999.
17. J. Jaffar and J.-L. Lassez. Constraint Logic Programming. In Proc. of the 14th ACM Symposium on Principles of Programming Languages, pp. 111-119, Munich, 1987.
18. R. Loogen, F. Lopez Fraguas, and M. Rodríǧuez Artalejo. A Demand Driven Computation Strategy for Lazy Narrowing. In Proc. of the 5th International Symposium on Programming Language Implementation and Logic Programming, pp. 184-200. Springer LNCS 714, 1993.
19. F. López-Fraguas and J. Sánchez-Hernández. TOY: A Multiparadigm Declarative System. In Proc. of RTA'99, pp. 244-247. Springer LNCS 1631, 1999.
20. W. Lux. Adding Linear Constraints over Real Numbers to Curry. In Proc. of the 5th International Symposium on Functional and Logic Programming (FLOPS 2001), pp. 185-200. Springer LNCS 2024, 2001.
21. K. Marriott and P.J. Stuckey. Programming with Constraints. MIT Press, 1998.
22. S.L. Peyton Jones and J. Hughes. Haskell 98: A Non-strict, Purely Functional Language. http://www.haskell.org, 1999.
23. M. Rodríguez-Artalejo. Functional and Constraint Logic Programming. In Constraints in Computa-tional Logics: Theory and Applications (CCL'99), pp. 202-270. Springer LNCS 2002, 2001.
24. P. Wadler. How to Declare an Imperative. ACM Computing Surveys, Vol. 29, No. 3, pp. 240-263, 1997.