Ласкаво просимо в B-Prolog, системи універсальним і ефективним стримуючим логіка програмування (CLP)! B-Prolog в даний час притягнуті до вас Afany Software (Нью-Йорк), КЛС (Токіо), і NandaSoft (Нанкін).
народження CLP є важливою віхою в історії мов програмування. CLP поєднує в собі два декларативні парадигми програмування: Логічне програмування і рішення обмеження. Декларативний характер, виявилося привабливим в численних додатках, включаючи системи автоматизованого проектування та перевірки, бази даних, інтелектуального аналізу даних, програмного забезпечення, оптимізації, настройки, графічним інтерфейсом і обробки мови. Це значно підвищує продуктивність розробки програмного забезпечення та програмного забезпечення ремонтопридатності. Крім того, через наявність ефективного обмеження рішення, управління пам'яттю і методів складання, CLP програми можуть бути більш ефективними, ніж їхні колеги пишуться на процедурних мовах.
Що нового У цьому випуску:
- Підтримка UTF-8.
- Нові вбудовані модулі: GETPID / 1, bp_current_resource / 1.
- виправлення і поліпшення:
Planner
між / 3.
відняти / 3.
Множення обмеження
Коментар не знайдено