Abstract | ||
---|---|---|
Constraint logic programming languages are an extension of logic programming languages where unification has been replaced
by constraint solving. Constraint solving techniques allow to reduce the search space of a logic program dramatically and
have been shown to be useful in a wide area of application domains.
Functional-logic languages are a different branch in the group of declarative languages, which combine the reduction of expressions
with unification. In contrast to purely functional languages, functional-logic languages allow for computations with partially
known data and offer builtin search strategies, allowing for a more concise formulation of programs. Compared to purely logic
languages, functional-logic languages provide functions and a declarative approach to I/O, thus avoiding the need for non-declarative
language constructs (e.g. the ubiquitous cut in Prolog). In this paper we will consider the integration of constraint programming
and functional-logic programming in the context of the language Curry. Curry is a multi-paradigm declarative language, which
aims at unifying the different lines of research in functional-logic programming. In particular, we have chosen the domain
of linear constraints over real numbers and will describe the semantic and operational issues of this integration.
|
Year | DOI | Venue |
---|---|---|
2001 | 10.1007/3-540-44716-4_12 | FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming |
Keywords | Field | DocType |
linear constraint,real numbers,constraint programming,declarative approach,logic language,logic programming language,linear constraints,declarative language,constraint logic programming language,functional-logic programming,functional-logic language,logic program,functional logic programming,functional language,search space | Functional logic programming,Fifth-generation programming language,Constraint satisfaction,Second-generation programming language,Comparison of multi-paradigm programming languages,Programming language,Computer science,Constraint programming,Algorithm,Theoretical computer science,Declarative programming,Ontology language | Conference |
Volume | ISSN | ISBN |
2024 | 0302-9743 | 3-540-41739-7 |
Citations | PageRank | References |
11 | 0.61 | 14 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wolfgang Lux | 1 | 62 | 6.02 |