GNU Prolog (64-bit) 1.4.3

GNU Prolog (64-бит) - шектеулі домендерде шектеулерді шешуді ұсынатын қуатты және тегін Prolog компиляторы. Бұл бағдарламалық құрал күрделі бағдарламаларды оңай жасауды қажет ететін әзірлеушілерге арналған. GNU Prolog шектеу бағдарламалары бар Прологты қабылдайды және жергілікті екілік файлдарды шығарады, бұл оны оқшау және тиімді етеді.

GNU Prolog бағдарламасының ең маңызды артықшылықтарының бірі оның орындалатын өлшемдердің кішірек болуына әкелетін көптеген пайдаланылмаған кірістірілген предикаттардың кодын байланыстырудан аулақ болу мүмкіндігі болып табылады. GNU Prolog өнімділігі өте жігерлендіреді, коммерциялық жүйелермен салыстыруға болады.

Жергілікті кодты құрастырудан басқа, GNU Prolog отладчикпен классикалық аудармашыны (жоғарғы деңгей) ұсынады. Аудармашы атомдармен аяқталуымен интерактивті режимде сызықты өңдеу мүмкіндігін қамтамасыз етеді, бұл әзірлеушілерге өз кодтарын түзетуді жеңілдетеді.

Бағдарламалық қамтамасыз ету жаһандық айнымалылар, ОЖ интерфейсі және ұяшықтар сияқты практикада өте пайдалы көптеген кеңейтімдері бар Prolog үшін ISO стандартына сәйкес келеді. Бұл әзірлеушілерге басқа жүйелермен үздіксіз әрекеттесе алатын күрделі бағдарламаларды жасауды жеңілдетеді.

GNU Prolog сонымен қатар Ақырлы домендерге (FD) тиімді шектеулерді шешу құралын қамтиды. Бұл шектеуді бағдарламалаудың күшін логикалық бағдарламалаудың декларативтілігімен біріктіру арқылы пайдаланушыларға шектеулік логикалық бағдарламалауды ашады. Бұл мүмкіндіктің көмегімен пайдаланушылар синтаксистік қателер немесе басқа мәселелер туралы алаңдамай өз шектеулерін оңай анықтай алады.

Алдын ала анықталған шектеулер қосу және азайту сияқты арифметикалық шектеулерді қамтиды; ЖӘНЕ/НЕМЕСЕ сияқты логикалық шектеулер; жолды сәйкестендіру сияқты символдық шектеулер; логикалық шарттарды логикалық операторлар арқылы көрсетуге мүмкіндік беретін нақтыланған шектеулер; әртүрлі мүмкіндіктерді жүйелі түрде зерттеу арқылы шешімдерді жылдам табуға көмектесетін алдын ала анықталған санау эвристикасы.

Сондай-ақ пайдаланушылар әртүрлі файлдарды қабылдайтын GNU прологының пәрмен жолы компиляторы қамтамасыз ететін қарапайым пәрмендерді пайдаланып, өздерінің жаңа шектеулерін анықтай алады. Бұл өз бағдарламасының әрекетін көбірек бақылауды қалайтын немесе алдын ала анықталған кітапханаларда қол жетімді емес арнайы функцияларды қажет ететін әзірлеушілерге оңай етеді.

Қорытындылай келе, егер сіз салалық стандарттарға қатаң сәйкес келетін күрделі бағдарламаларды оңай жасауға мүмкіндік беретін қуатты, бірақ тегін құралды іздесеңіз, GNU прологын іздеңіз!