Knowledge Base

Answers and Guides

What Are Finite Domains and How Does GNU Prolog's FD Solver Work?

Finite domains (FD) in GNU Prolog let a logic variable range over a bounded set of integers instead of being a free, unbound term…