| Versione | 1.4.3 |
|---|---|
| Editore | Daniel Diaz |
| Data di rilascio | 8 apr 2013 |
| Data aggiunta | 8 apr 2013 |
| Requisiti del sistema operativo | Windows, Windows 7 |
| Requisiti | None |
| Download totali | 1.943 |
| Prezzo | Free |
Descrizione
GNU Prolog è un compilatore Prolog gratuito con risoluzione dei vincoli su domini finiti. GNU Prolog accetta Prolog con programmi di vincolo e produce binari nativi (come fa gcc da un sorgente C). L'eseguibile ottenuto è quindi autonomo. La dimensione di questo eseguibile può essere piccola poiché GNU Prolog può evitare di collegare il codice della maggior parte dei predicati incorporati inutilizzati. Le prestazioni di GNU Prolog sono molto incoraggianti (paragonabili ai sistemi commerciali). Oltre alla compilazione del codice nativo, GNU Prolog offre un interprete classico (di livello superiore) con un debugger.
La parte Prolog è conforme allo standard ISO per Prolog con molte estensioni molto utili nella pratica (variabili globali, interfaccia del sistema operativo e socket). GNU Prolog include anche un efficiente risolutore di vincoli su domini finiti (FD). Questo apre la programmazione della logica dei vincoli all'utente, combinando la potenza della programmazione dei vincoli con la dichiaratività della programmazione logica. Le caratteristiche includono conformità allo standard ISO per Prolog, funzionalità di modifica della riga sotto l'interprete interattivo con completamento su atomi, interfaccia bidirezionale tra Prolog e C, compilatore di codice nativo che produce eseguibili autonomi, semplice compilatore da riga di comando che accetta una varietà di file, predefiniti vincoli: vincoli aritmetici, vincoli booleani, vincoli simbolici e vincoli reificati, euristiche di enumerazione predefinite e l'utente può definire i propri nuovi vincoli.
