| Нұсқа | 1.4.3 |
|---|---|
| Баспа | Daniel Diaz |
| Шығару күні | 2013 ж. 08 сәу. |
| Қосылған күн | 2013 ж. 08 сәу. |
| Os талаптары | Windows, Windows 7 |
| Талаптар | None |
| Жалпы жүктеулер | 1 943 |
| Бағасы | Free |
Сипаттама
GNU Prolog – шектеулі домендер бойынша шектеулерді шешетін тегін Prolog компиляторы. GNU Prolog шектеу бағдарламалары бар Прологты қабылдайды және жергілікті екілік файлдарды шығарады (мысалы, gcc C көзінен жасайды). Алынған орындалатын файл одан кейін дербес болады. Бұл орындалатын файлдың өлшемі кішкентай болуы мүмкін, өйткені GNU Prolog пайдаланылмаған кірістірілген предикаттардың көпшілігінің кодын байланыстырудан аулақ болады. GNU Prolog өнімділігі өте жігерлендіреді (коммерциялық жүйелермен салыстыруға болады). Жергілікті кодты құрастырудан басқа, GNU Prolog отладчикпен классикалық аудармашыны (жоғарғы деңгей) ұсынады.
Prolog бөлігі тәжірибеде өте пайдалы (жаһандық айнымалылар, ОЖ интерфейсі және ұяшықтар) көптеген кеңейтімдері бар Prolog үшін ISO стандартына сәйкес келеді. GNU Prolog сонымен қатар Ақырлы домендерге (FD) тиімді шектеулерді шешу құралын қамтиды. Бұл шектеуді бағдарламалаудың күшін логикалық бағдарламалаудың декларативтілігіне біріктіретін пайдаланушыға шектеуді логикалық бағдарламалауды ашады. Функцияларға Prolog үшін ISO стандартына сәйкестік, атомдардағы аяқталуы бар интерактивті интерпретатордың астындағы сызықтарды өңдеу мүмкіндігі, Prolog және C арасындағы екі бағытты интерфейс, жеке орындалатын файлдарды шығаратын жергілікті код компиляторы, әртүрлі файлдарды қабылдайтын қарапайым пәрмен жолы компиляторы, алдын ала анықталған. шектеулер: арифметикалық шектеулер, логикалық шектеулер, символдық шектеулер және нақтыланған шектеулер, алдын ала анықталған санау эвристикасы және пайдаланушы өзінің жаңа шектеулерін анықтай алады.
