| Versione | 8.1 |
|---|---|
| Editore | KopecSoft |
| Data di rilascio | 24 feb 2014 |
| Data aggiunta | 24 feb 2014 |
| Requisiti del sistema operativo | Mac OS X 10.9, Mac OS X 10.5, Mac OS X 10.8, Mac OS X 10.6 Intel, Macintosh, Mac OS X 10.4, Mac OS X 10.6, Mac OS X 10.4 Intel, Mac OS X 10.7, Mac OS X 10.5 Intel |
| Requisiti | None |
| Download totali | 946 |
| Prezzo | Free to try |
Descrizione
Benvenuti in B-Prolog, un sistema di programmazione a logica di vincoli (CLP) versatile ed efficiente! B-Prolog ti viene offerto da Afany Software (New York), KLS (Tokyo) e NandaSoft (Nanchino).
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 si è dimostrata interessante in numerose applicazioni, tra cui progettazione e verifica assistite da computer, database, data mining, ingegneria del software, ottimizzazione, configurazione, interfaccia utente grafica ed elaborazione del linguaggio. Migliora notevolmente la produttività dello sviluppo del software e la manutenibilità del software. Inoltre, grazie alla disponibilità di efficienti tecniche di risoluzione dei vincoli, gestione della memoria e compilazione, i programmi CLP possono essere più efficienti delle loro controparti scritte in linguaggi procedurali.
