GNU Prolog: A Native Prolog Compiler with Constraint Solving over Finite Domains
Résumé
GNU Prolog is a general-purpose implementation of the Prolog language. It provides a native-code compiler producing standalone executables which do not rely on any byte-code emulator or meta-interpreter. GNU Prolog is higly comptatible with the ISO standard for Prolog but also offers various extensions. In particular, GNU Prolog includes an extensible and high-performance finite domain constraint solver.