Добре дошли в B-Prolog, гъвкав и ефективен натиск логика програмиране (CLP) система! B-Prolog се достига до вас благодарение Afany Software (New York), KLS (Токио), и NandaSoft (Nanjing).
Раждането на CLP е крайъгълен камък в историята на езиците за програмиране. CLP комбинира две декларативни програмни парадигми: логика програмиране и ограничение на проблеми. Декларативната характер доказа обжалване в различни приложения, включително компютърно проектиране и проверка, база данни, извличане на данни, софтуерно инженерство, конфигурация, оптимизация, графичен потребителски интерфейс, както и обработването на езика. Това значително подобрява производителността на разработката на софтуер и софтуер за поддръжка. В допълнение, поради наличието на ефективно ограничение на проблеми, управление на паметта, както и за събирането техники, програми CLP могат да бъдат по-ефективни, отколкото техните колеги, написани на процедурни езици.
Какво ново в тази версия:
- Поддръжка UTF-8.
- Нови вградени модули: getpid / 1, bp_current_resource / 1.
- корекции на грешки и подобрения:
Planner
между / 3.
изважда / 3.
Умножение ограничения
Коментари не е намерена