| Версия | 8.1 |
|---|---|
| Издатель | KopecSoft |
| Дата выпуска | 24 февр. 2014 г. |
| Дата добавления | 24 февр. 2014 г. |
| Требования ОС | 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 могут быть более эффективными, чем их аналоги, написанные на процедурных языках.
