B-prolog. un grande compilatore di prolog per Darwim.
Scarica ora

B-prolog. Classifica e riepilogo

B-prolog. Tag

sviluppatore Aiuto degli sviluppatori compilatore Prolog programmazione logica aiuto Prolog

B-prolog. Descrizione

Un grande compilatore di prolog per Darwim. B-Prolog è un sistema di programmazione della logica della logica del vincolo versatile e davvero efficiente! B-Prolog ti viene portato da Afany Software (New York), KLS (Tokyo) e Nandasoft (Nanjing). La nascita del CLP è una pietra miliare nella storia dei linguaggi di programmazione. CLP combina due paradigmi di programmazione dichiarativa: programmazione logica e risoluzione dei vincoli. La natura dichiarativa ha compiatato attraente in numerose applicazioni, tra cui la progettazione e la verifica del computer-assisi, il database, il data mining, l'ingegneria del software, l'ottimizzazione, la configurazione, l'interfaccia utente grafica e l'elaborazione della lingua. Uno degli obiettivi B-Prolog è quello di migliorare la produttività della manutenibilità e dello sviluppo del software. Inoltre, a causa della disponibilità di efficienti tecniche di risoluzione dei vincoli, gestione della memoria e di compilazione, i programmi CLP possono essere più efficienti delle loro controparti scritte in lingue procedurali . Cosa c'è di nuovo in questa versione: · Vincoli tabelle. Una tabella o un vincolo di estensione è positivo o negativo. Un vincolo positivo prende il modulo 'x in r' e un vincolo negativo prende il modulo 'x notin r' dove x è una tupla variabile (x1, ..., xn) o un elenco di tuple di variabili , e R è una tabella definita come una serie di tuple di interi dove ogni tupla prende il modulo (A1, ..., A). · Supporto delle modalità tabella. Una dichiarazione di tabella prende il modulo ': -Table P (M1, ..., MN): n.' Dove P / N è un predicato, MI è una modalità (che può essere 'min', 'max', '+', '-', o '?'), e N è un limite sul numero di risposte presentato. Se non viene dato alcun limite, si presume che venga presentata solo una risposta. · Iterazione incorporato: foreach (iteratori, localvars, obiettivo) e foreach (iteratori, locali, accumulatori, obiettivo) · Nuovi vincoli globali: post_neqs / 1 e post_disjunctive_tasks / 1. · Gli eventi del tempo sono gestiti con la massima priorità. · I vincoli di uguaglianza binaria sono ulteriormente specializzati. · Aggiunti vincoli globali: serializzato / 2, assegnazione / 2 e assegnazione0 / 2. · "Var in D 'e' var notin d 'può verificarsi nei vincoli booleani. · La bandiera sconosciuta funziona di nuovo. · Versione migliorata di Call_CleanUp / 2. · Una correzione di bug nel compilatore. · Una correzione di bug nell'interfaccia GLPK.

B-prolog. Software correlato