| Нұсқа | 8.1 |
|---|---|
| Баспа | KopecSoft |
| Шығару күні | 2014 ж. 24 ақп. |
| Қосылған күн | 2014 ж. 24 ақп. |
| 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 |
| Талаптар | None |
| Жалпы жүктеулер | 946 |
| Бағасы | Free to try |
Сипаттама
B-Prolog, әмбебап және тиімді шектеу логикалық бағдарламалау (CLP) жүйесіне қош келдіңіз! B-Prolog сізге Afany Software (Нью-Йорк), KLS (Токио) және NandaSoft (Нанкин) арқылы жеткізіледі.
CLP-тің пайда болуы бағдарламалау тілдерінің тарихындағы маңызды кезең болып табылады. CLP екі декларативті бағдарламалау парадигмасын біріктіреді: логикалық бағдарламалау және шектеулерді шешу. Декларативті сипат көптеген қосымшаларда тартымдылығын дәлелдеді, соның ішінде компьютерлік дизайн және тексеру, дерекқор, деректерді іздеу, бағдарламалық жасақтама жасау, оңтайландыру, конфигурациялау, графикалық пайдаланушы интерфейсі және тілді өңдеу. Бұл бағдарламалық жасақтаманы әзірлеудің өнімділігін және бағдарламалық қамтамасыз етуді қолдау мүмкіндігін айтарлықтай арттырады. Бұған қоса, тиімді шектеулерді шешу, жадты басқару және компиляция әдістерінің болуына байланысты CLP бағдарламалары процедуралық тілдерде жазылған аналогтарынан тиімдірек болуы мүмкін.
