Solving Combinatorial Problems with a Constraint Functional Logic Language

@inproceedings{Fern2002SolvingCP,
  title={Solving Combinatorial Problems with a Constraint Functional Logic Language},
  author={Antonio J. Fern and Teresa Hortal},
  year={2002}
}
This paper describes a proposal to incorporate nite domain constraints in a functional logic system. The proposal integrates functions, higher-order patterns, partial applications, non-determinism, logical variables, currying, types, lazyness, domain variables, constraints and nite domain propagators. The paper also presents TOY(FD), an extension of the functional logic language TOY that provides FD constraints, and shows, by examples, that TOY(FD) combines the power of constraint logic… CONTINUE READING