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 dimensione di questo eseguibile può essere piccola poiché GNU Prolog può evitare che collega il codice di predicati built-in più non utilizzati. Le prestazioni di GNU Prolog sono molto incoraggianti (paragonabile a sistemi commerciali). Accanto al codice nativo compilazione, GNU Prolog offre un interprete classico (di primo livello), con un debugger.
La parte Prolog è conforme allo standard ISO per Prolog con molte estensioni molto utili nella pratica (variabili globali, interfaccia OS, e prese). GNU Prolog include anche un vincolo efficiente risolutore oltre finiti Domains (FD). Questo apre la programmazione logica vincolo per l'utente combinando la potenza di programmazione a vincoli per la dichiaratività di programmazione logica. Le caratteristiche includono conforme allo standard ISO per Prolog, impianto di editing linea sotto l'interprete interattivo con il completamento su atomi, interfaccia bidirezionale tra Prolog e C, compilatore di codice nativo produrre stare eseguibili solo, semplice compilatore a linea di comando di accettare una varietà di file, predefinito vincoli:. vincoli aritmetici, vincoli booleani, vincoli simbolici, e vincoli reificati, euristiche enumerazione predefiniti, e l'utente può definire i suoi nuovi vincoli
I commenti non trovato