Benvenuti al B-Prolog, un sistema di programmazione logica vincoli versatile ed efficiente (CLP)! B-Prolog è stato portato a voi da Afany Software (New York), KLS (Tokyo), e NandaSoft (Nanjing).
La nascita di CLP è una pietra miliare nella storia dei linguaggi di programmazione. CLP combina due paradigmi di programmazione dichiarativa: programmazione logica e vincolo solving. La natura dichiarativa è dimostrato attraente in numerose applicazioni, tra cui computer-aided design e la verifica, database, data mining, ingegneria del software, l'ottimizzazione, la configurazione, l'interfaccia utente grafica, e l'elaborazione del linguaggio. Si migliora notevolmente la produttività dello sviluppo del software e software manutenibilità. Inoltre, a causa della disponibilità di efficienti vincolo-solving, gestione della memoria, e le tecniche di compilazione, programmi CLP possono essere più efficienti delle loro controparti scritti in linguaggi procedurali.
Cosa c'è di nuovo in questa versione:
- Supporto UTF-8.
- Nuove built-in: getpid / 1, bp_current_resource / 1.
- Correzioni di bug e miglioramenti:
Planner
tra / 3.
sottrarre / 3.
vincolo
Moltiplicazione
I commenti non trovato