GNU Prolog

GNU Prolog 1.4

Gratis
Si tratta di un libero Prolog compiler con vincolo di risolvere oltre finiti i domini
Voto utenti
5.0  (3 voti)
Il tuo voto
Ultima versione:
1.4.4 (Vedi tutti)
Sviluppatore:
Daniel Diaz
GNU Prolog è un libero Prolog compiler con vincolo di risolvere oltre finiti domini sviluppato da Daniel Diaz. GNU Prolog accetta Prolog vincolo di programmi e produce binari nativi (come gcc fa da un sorgente C). Ottenuti eseguibile è poi stand-alone.
La dimensione del file eseguibile può essere molto piccolo dal GNU Prolog può evitare di collegare il codice della maggior parte inutilizzati built-in predicati. La performance di GNU Prolog sono molto incoraggianti (paragonabile a sistemi commerciali). Accanto al codice nativo compilazione, GNU Prolog offre un classico interprete interattivo (di primo livello) con un debugger.
Il Prologo parte è conforme allo standard ISO per il Prologo con molte estensioni molto utili nella pratica (variabili globali, OS interfaccia socket).GNU Prolog include anche un efficace vincolo risolutore su Domini Finiti (FD). Questo apre vincolato logica di programmazione per l'utente che combina la potenza di programmazione a vincoli per la declarativity di programmazione logica.
Caratteristiche principali:
- Il prologo di sistema:
- conforme agli standard ISO per Prolog (i numeri in virgola mobile, i ruscelli, la dinamica del codice,).
- un sacco di estensioni: variabili globali, precisa clausola di grammatiche (DCG), socket interface, interfaccia utente del sistema operativo
- più di 300 Prolog built-in predicati.
- Prolog debugger e un basso livello di WAM debugger.
l'editing della riga di impianto sotto l'interprete interattivo con il completamento atomi.
- potente interfaccia bidirezionale tra il Prologo e C.
Compilatore:
- codice nativo compilatore produce eseguibili stand-alone.
- semplice riga di comando del compilatore di accettare una vasta gamma di file: file di Prologo, C file, WAM file,...
- generazione diretta di codice in assembly 15 volte più veloce rispetto wamcc gcc.
- la maggior parte inutilizzati built-in predicati non sono collegati (per ridurre le dimensioni dei file eseguibili).
- compilato predicati (codice nativo) veloce come wamcc in media.
consultato predicati (byte-code) 5 volte più veloce di wamcc.
- Constraint solver:
- FD variabili ben integrata nel Prologo ambiente (piena compatibilità con il Prologo di variabili e numeri interi). Senza necessità di esplicito FD dichiarazioni.
- molto efficiente FD risolutore (paragonabile a solutori commerciali).
- alto livello di vincoli può essere descritto in termini di semplici primitive.
- un sacco di predefiniti vincoli: vincoli aritmetici, boolean vincoli, vincoli simbolici, reified vincoli,...
- predefiniti enumerazione euristica.
- l'utente può definire il suo nuovo vincoli.
- più di 50 FD built-in vincoli/predicati.
Informazioni aggiornate al: