Adding linear constraints over real numbers to Curry

DOI10.1007/3-540-44716-4_12MaRDI QIDQ2763639zbMATH OpenFDO

Authors Wolfgang Lux

Publication date 21 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2024/20240185

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18) Computing methodologies and applications (68U99)

Recommendations

• Functional Logic Programming: From Theory to Curry
• Constraint functional logic programming over finite domains
• Compiling multi-paradigm declarative programs into Prolog
• Functional plus logic programming with built-in and symbolic constraints
• Constraint functional logic programming revisited

Cited in

(6)

• Compiling multi-paradigm declarative programs into Prolog
• Implementing relational specifications in a constraint functional logic language
• A proposal for disequality constraints in Curry
• Functional plus logic programming with built-in and symbolic constraints
• Functional Logic Programming: From Theory to Curry
• Declaring numbers

Describes a project that uses

Uses Software

• Oz
• SICStus

This page was built for publication: Adding linear constraints over real numbers to Curry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763639)