Knowledge Base

Answers and Guides

What Are Constraints in GNU Prolog and How Does the Finite Domain Solver Work?

In GNU Prolog, a constraint is a relation you state over finite-domain (FD) variables, and the built-in FD solver propagates that…