constraint logic programming

programming paradigm which combines logic programming and constraint satisfaction