Extending the Finite Domain Solver of GNU Prolog - Bloemen, Vincent; Diaz, Daniel; van der Bijl, Machiel; Abreu, Salvador (2014)