| Versiune | 8.1 |
|---|---|
| Editor | KopecSoft |
| Data eliberării | 24 feb. 2014 |
| Data adaugata | 24 feb. 2014 |
| Cerințele OS | 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 |
| Cerințe | None |
| Descărcări totale | 946 |
| Preț | Free to try |
Descriere
Bine ați venit la B-Prolog, un sistem de programare logică a constrângerilor (CLP) versatil și eficient! B-Prolog vă este oferit de Afany Software (New York), KLS (Tokyo) și NandaSoft (Nanjing).
Nașterea CLP este o piatră de hotar în istoria limbajelor de programare. CLP combină două paradigme de programare declarativă: programarea logică și rezolvarea constrângerilor. Natura declarativă s-a dovedit atrăgătoare în numeroase aplicații, inclusiv proiectare și verificare asistată de computer, baze de date, extragere de date, inginerie software, optimizare, configurare, interfață grafică cu utilizatorul și procesare a limbajului. Îmbunătățește foarte mult productivitatea dezvoltării software și mentenabilitatea software-ului. În plus, datorită disponibilității unor tehnici eficiente de rezolvare a constrângerilor, de gestionare a memoriei și de compilare, programele CLP pot fi mai eficiente decât omologii lor scrise în limbaje procedurale.
