The Free On-line Dictionary of Computing (30 December 2018):constraint functional programming (CFP) functional programming plus constraints. (2002-06-08)