constraint functional programming

(CFP) functional programming plus constraints.