GNU Prolog: A Native Prolog Compiler with Constraint Solving over Finite Domains — Daniel Diaz | Kutubxona