Higher order constraint logic programming - Wang, Kang (1994)