| Версія | 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 можуть бути ефективнішими, ніж їхні аналоги, написані на процедурних мовах.
