constraint functional programming <programming> (CFP) {functional programming} plus {constraints}. (2002-06-08)