GNU Prolog (32-Bit) Accetta Prolog con vincoli e compilazione su domini finiti.
Scarica ora

GNU Prolog (32-Bit) Classifica e riepilogo

GNU Prolog (32-Bit) Tag

GNU Prolog (32-Bit) Descrizione

Gnu Prolog è un compilatore di prolog gratuito con vincoli che risolvono i domini finiti. GNU Prolog accetta Prolog con programmi di vincoli e produce binari nativi (come GCC fa da una fonte 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 integrati inutilizzati. Le prestazioni di GNU Prolog sono molto incoraggianti (paragonabili ai sistemi commerciali). Accanto alla compilazione del codice nativo, GNU Prolog offre un interprete classico (alto livello) con un debugger. La parte di Prolog è conforme allo standard ISO per Prolog con molte estensioni molto utili nella pratica (variabili globali, Interfaccia OS e prese). GNU Prolog comprende anche un efficiente risolutore di vincoli sui domini finiti (FD). Ciò apre la programmazione della logica del vincolo all'utente che combina la potenza della programmazione dei vincoli alla dichiarazione della programmazione logica. Le caratteristiche includono conforme allo standard ISO per Prolog, linea di modifica della linea sotto l'interprete interattivo con il completamento sugli atomi, l'interfaccia bidirezionale tra Prolog e C, compilatore di codice nativo che producono eseguibili stand alone, semplice compilatore a riga di comando accettando una varietà di file, predefiniti Vincoli: vincoli aritmetici, vincoli booleani, vincoli simbolici e vincoli reificati, euristica predefinita di enumerazione e l'utente può definire i propri nuovi vincoli.

GNU Prolog (32-Bit) Software correlato