A Native Prolog Compiler with Contextual Logic Programming and Constraint Solving over Finite Domains, based on GNU Prolog.

• Manual
• Repository:Debian packages of GNU Prolog/CX
• GNU Prolog/CX command line
• Examples