GNU Prolog (32-bit) 1.4.3
GNU Prolog è un compilatore Prolog gratuito con risoluzione di vincoli su domini finiti. GNU Prolog accetta Prolog con programmi di vincolo e produce file binari nativi (come gcc fa da una fonte C). L'eseguibile ottenuto viene poi stand-alone. La...