1. constraint functional programming CFP functional programming plus constraints.
constraint functional programming |