Adding linear constraints over real numbers to curry

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

Volumn 2024, Issue , 2001, Pages 185-200

  Lux, Wolfgang ^a  

^a UNIVERSITY OF MÜNSTER   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; CODES (SYMBOLS); COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; FUNCTIONAL PROGRAMMING; PROLOG (PROGRAMMING LANGUAGE); RECONFIGURABLE HARDWARE; SEMANTICS;

CONSTRAINT LOGIC PROGRAMMING LANGUAGES; CONSTRAINT PROGRAMMING; CONSTRAINT SOLVING; DECLARATIVE LANGUAGES; FUNCTIONAL LOGIC LANGUAGES; FUNCTIONAL LOGIC PROGRAMMING; LINEAR CONSTRAINTS; OPERATIONAL ISSUES;

LOGIC PROGRAMMING;

EID: 84958974895     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44716-4_12     Document Type: Conference Paper

References (18)

1. [AEH97] S. Antoy, R. Echahed, and M. Hanus. Parallel evaluation strategies for functional logic languages. In Proc. ICLP '97, pages 138-152. MIT Press, 1997.
2. [AHLU96] P. Arenas-Sanchez, T. Hortala-Gonzalez, F.J. Lopez-Fraguas, and E. Ullan-Hernandez. Functional logic programming with real numbers. In Proc. JICSLP' 96 Post-Conference Workshop on Multi-Paradigm Logic Programming. TR 96-28, Technical University Berlin, 1996.
3. [ALN87] H. At-Kaci, P. Lincoln, and R. Nasr. Le Fun: Logic, equations, and functions. In Proc. ILPS '87, pages 17-23, 1987.
4. A. Colmerauer. Opening the Prolog III universe. BYTE, 12(9):177-182, August 1987.
5. M. Carlsson, J. Widen, J. Andersson, S. Andersson, K. Boortz, H. Nilsson, and T. Sjoland. Sicstus prolog user's manual. Technical Report T91:15, SICS, June 1995.
6. Francois Fages. On the semantics of optimization predicates in clp languages. In Proc. FSTTCS 1993, pages 193-204. Springer LNCS 761, 1993.
7. Curry: An integrated functional logic language, (version 0.7). http://www-i2.informatik.rwth-aachen.de/~hanus/curry, 2000.
8. P. Hudak, S. Peyton Jones, and P. Wadler. Report on the programming language Haskell (version 1.2). SIGPLAN Notices, 27(5), 1992.
9. [HS98] M. Hanus and F. Steiner. Controlling search in functional logic programs. In Proc. PLILP'98, 1998.
10. J.-L. Imbert and P. van Hentenryck. On the handling of disequations in clp over linear rational arithmetic. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming, Selected Research, pages 49-71. MIT Press, 1993.
11. [JMSY90] J. Jaar, S. Michaylov, P.J. Stuckey, and R. Yap. The CLP(<) language and system. Technical report, IBM, 1990.
12. Thomas Johnsson. Lambda lifting. transforming programs to recursive equations. In Proc. FPLCA 1985, pages 190-203. Springer LNCS 201, 1985.
13. [LH99] F.J. Lopez-Fraguas and T. Hortala-Gonzalez. T OY: A multiparadigm declarative system. In Proc. RTA'99, pages 244-247. Springer LNCS 1631, 1999.
14. W. Lux. Implementing encapsulated search for a lazy functional logic language. In Proc. FLOPS 99, pages 100-113. Springer LNCS 1722, 1999.
15. W. Lux. Adding linear constraints over real numbers to curry. In Proc. WFLP 2000. TR 2000.2039, Universidad Politecnica de Valencia, 2000.
16. [MS93] K. Marriott and P. Stuckey. Semantics of constraint logic programs with optimization. ACM Letters on Programming Languages and Systems, 2(1-4):197-212, 1993.
17. U. Reddy. Narrowing as the operational semantics of functional languages. In Proc. ILPS'85, pages 138-151, 1985.
18. G. Smolka. The Oz programming model. In J. van Leeuwen, editor, Current Trends in Computer Science. Springer LNCS 1000, 1995