The Free On-line Dictionary of Computing (19 January 2023):

constraint functional programming

    (CFP) functional programming plus constraints.

   (2002-06-08)