Constraint logic programming

Constraint Logic Programming is a type of programming that uses logic to solve problems. It uses constraints, which are rules that the answer must obey to make sure it’s right. The process will look for an answer that satisfies all of the constraints. It is like using a set of blocks of different shapes and sizes to build something, where the blocks are the constraints, and the thing you build is the solution.