A Functional Logic Language with Finite Domain Constraints.
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez · 2002
Abstract. We present a constraint functional logic programming ap-proach over finite domain (CFLP(FD)) for integrating finite domain constraints into the functional logic language TOY. CFLP(FD) programs consist of TOY rules with finite domain constraints declared as functions. CFLP(FD) seamlessly combines the power of the constraint logic pro-gramming over finite domains with the higher order characteristics of the functional logic programming paradigm. This paper describes a language for CFLP(FD), an implementation of our language for CFLP(FD) and programming examples that demonstrate the potential of the integra-tion.