GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bit), çäkli domenlerde çäklendirilen çözgüdi hödürleýän güýçli we mugt Prolog düzüjisidir. Bu programma üpjünçiligi aňsatlyk bilen çylşyrymly programmalary döretmeli döredijiler üçin döredildi. GNU Prolog çäklendiriji programmalar bilen Prology kabul edýär we gcc-iň C çeşmesinden edişi ýaly ýerli ikilik önümlerini öndürýär. Alnan ýerine ýetirip bolýan bolsa, özbaşdak programma üpjünçiligi ýa-da kitaphanalar zerurlygy bolmazdan islendik kompýuterde işläp biljekdigini aňladýar.

GNU Prolog-yň iň möhüm artykmaçlyklaryndan biri, kiçi göwrümi. Bu programma üpjünçiligi, köp ulanylmadyk içerki predikatlaryň koduny baglanyşdyrmakdan saklanyp bilýändigi sebäpli, ýerine ýetirip boljak ululygy gaty az bolup biler. Bu, ulanyjylaryň kompýuterlerinde kän ýer tutmaýan ýeňil programmalary döretmek isleýän döredijiler üçin ideal edýär.

GNU Prologyň çykyşlary hem gaty höweslendiriji we täjirçilik ulgamlary bilen deňeşdirilýär. Bu, her gezek ulananyňyzda çalt we täsirli netijeleri bermek üçin bu programma üpjünçiligine bil baglap bilersiňiz.

Nativeerli kod düzmekden başga-da, GNU Prolog düzediji bilen nusgawy terjimeçini (ýokary derejeli) hödürleýär. Terjimeçi koduňyzy interaktiw barlamaga we ösüş döwründe ýüze çykýan islendik meseläni düzetmäge mümkinçilik berýär.

Prolog bölegi iş ýüzünde örän peýdaly köp sanly giňeltmeler bilen (global üýtgeýänler, OS interfeýsi we rozetkalary) Prolog üçin ISO standartyna laýyk gelýär. Bu, her gezek ulananyňyzda ygtybarly netijeleri bermek üçin bu programma üpjünçiligine bil baglap bilersiňiz.

GNU Prolog, şeýle hem, Finite Domain (FD) boýunça täsirli çäklendiriji çözüjini öz içine alýar. Bu, çäklendiriji programmirlemegiň güýjüni logiki programmirlemegiň deklaratiwligini birleşdirýän ulanyja çäkli logiki programmirlemäni açýar.

Aýratynlyklary:

- Başlangyç üçin ISO standartyna laýyk gelýär

- Atomlary tamamlamak bilen interaktiw terjimeçiniň aşagyndaky setir redaktirleme desgasy

- Prolog we C arasynda iki taraplaýyn interfeýs

- standeke-täk ýerine ýetirip bolýan ýerli kod düzüjisi

- Dürli faýllary kabul edýän ýönekeý buýruk setir düzüjisi

- Öňünden kesgitlenen çäklendirmeler: arifmetiki çäklendirmeler, Boolean çäklendirmeleri, simwoliki çäklendirmeler, tassyklanan çäklendirmeler.

- Öňünden sanalýan ýewropika.

- Ulanyjy kesgitlän täze çäklendirmeler

Gysgaça:

Çäkli domenlerde çäklendirilen çözgütli güýçli, ýöne mugt başlangyç düzüjini gözleýän bolsaňyz, GNU başlangyç 32-bitden başga zat gözlemäň! Ujypsyz ululygy, ýöne täsirli öndürijilik mümkinçilikleri bilen içerki ulanyjy interfeýsi bilen bilelikde bu programmany diňe bir täze öwrenýänler däl, eýsem tejribeli programmistlerem kämilleşdirýär!