| Нускасы | 1.4.3 |
|---|---|
| Publisher | Daniel Diaz |
| Чыккан датасы | 2013-ж., 8-апр. |
| Кошулган күнү | 2013-ж., 8-апр. |
| Os талаптар | Windows, Windows 7 |
| Талаптар | None |
| Жалпы жүктөлүүлөр | 812 |
| Баасы | Free |
Сүрөттөмө
GNU Prolog - бул чектүү домендердин чектөөлөрүн чечүүчү акысыз Prolog компилятору. GNU Prolog Прологду чектөө программалары менен кабыл алат жана жергиликтүү бинарларды чыгарат (gcc C булагынан кылган сыяктуу). Алынган аткарылуучу андан кийин өзүнчө болот. Бул аткарылуучу файлдын көлөмү кичине болушу мүмкүн, анткени GNU Prolog көпчүлүк колдонулбаган орнотулган предикаттардын кодун байланыштыруудан кача алат. GNU Prolog көрсөткүчтөрү абдан бекемдээрлик (коммерциялык системалар менен салыштырууга болот). Жергиликтүү коддун компиляциясынан тышкары, GNU Prolog мүчүлүштүктөрдү оңдоочу менен классикалык котормочуну (жогорку деңгээлдеги) сунуштайт.
Prolog бөлүгү практикада абдан пайдалуу көптөгөн кеңейтүүлөр менен (глобалдык өзгөрмөлөр, ОС интерфейси жана розеткалар) Prolog үчүн ISO стандартына ылайык келет. GNU Prolog ошондой эле Чектүү Домендердин (FD) үстүнөн эффективдүү чектөөлөрдү чечүүчүнү камтыйт. Бул чектөө программалоонун күчү менен логикалык программалоонун декларациялуулугун айкалыштырган колдонуучуга чектөө логикалык программалоону ачат. Функцияларга Prolog үчүн ISO стандартына шайкеш келет, атомдордо аяктаган интерактивдүү котормочунун астындагы сызыктарды түзөтүү мүмкүнчүлүгү, Prolog жана C ортосундагы эки багыттуу интерфейс, өз алдынча аткарылуучу файлдарды чыгарган жергиликтүү код компилятору, ар кандай файлдарды кабыл алган жөнөкөй буйрук сап компилятору, алдын ала аныкталган. чектөөлөр: арифметикалык чектөөлөр, логикалык чектөөлөр, символдук чектөөлөр жана реификацияланган чектөөлөр, алдын ала аныкталган санап чыгуу эвристикасы жана колдонуучу өзүнүн жаңы чектөөлөрүн аныктай алат.
