GNU Prolog (32-bit) 1.4.3

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

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

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

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

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

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

Ерекше өзгешеліктері:

- Пролог үшін ISO стандартына сәйкес келеді

- Интерактивті интерпретатор астында атомдар бойынша толтырылған жолды өңдеу мүмкіндігі

- Пролог пен С арасындағы екі бағытты интерфейс

- Оқшау орындалатын файлдарды шығаратын жергілікті код компиляторы

- Түрлі файлдарды қабылдайтын қарапайым пәрмен жолы компиляторы

- Алдын ала анықталған шектеулер: арифметикалық шектеулер, логикалық шектеулер, символдық шектеулер, нақтыланған шектеулер.

- Алдын ала анықталған санау эвристикасы.

- Пайдаланушы анықтаған жаңа шектеулер

Қысқаша:

Егер сіз шектеулі домендер бойынша шектеулерді шешетін қуатты, бірақ тегін пролог компиляторын іздесеңіз, GNU 32-биттік прологты іздеңіз! Шағын өлшемді, бірақ әсерлі өнімділік мүмкіндіктері интуитивті пайдаланушы интерфейсімен біріктірілген бұл бағдарламаны жаңадан бастағандарға ғана емес, тәжірибелі бағдарламашыларға да тамаша етеді!