The Boolean Constraint Solver of SWI-Prolog (System Description)
On the Implementation of GNU Prolog