| Нускасы | 8.1 |
|---|---|
| Publisher | KopecSoft |
| Чыккан датасы | 2014-ж., 24-фев. |
| Кошулган күнү | 2014-ж., 24-фев. |
| 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 программалары процедуралык тилдерде жазылган кесиптештерине караганда натыйжалуураак болушу мүмкүн.
