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