| Версия | 8.1 |
|---|---|
| Издател | KopecSoft |
| Дата на излизане | 24.02.2014 г. |
| Датата е добавена | 24.02.2014 г. |
| 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 програмите могат да бъдат по-ефективни от техните аналози, написани на процедурни езици.
