GNU Prolog (64-bit) 1.4.3

GNU Prolog (64-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 ýerli ikilik önümlerini öndürýär we ýeke-täk we täsirli edýär.

GNU Prolog-yň iň möhüm artykmaçlyklaryndan biri, iň köp ulanylmadyk içerki predikatlaryň koduny baglanyşdyrmazlyk ukyby bolup, ýerine ýetirip boljak ululyklara sebäp bolýar. GNU Prologyň çykyşlary täjirçilik ulgamlary bilen deňeşdirilende gaty tolgundyryjy.

Nativeerli kod düzmekden başga-da, GNU Prolog düzediji bilen nusgawy terjimeçini (ýokary derejeli) hödürleýär. Terjimeçi, atomlary gutarmak bilen interaktiw re underimde setir redaktirleme enjamyny üpjün edýär, döredijilere kodlaryny düzetmegi aňsatlaşdyrýar.

Programma üpjünçiligi, Prolog üçin ISO standartyna laýyk gelýär, global üýtgeýjiler, OS interfeýsi we rozetkalar ýaly iş ýüzünde örän peýdaly. Bu, döredijilere beýleki ulgamlar bilen üznüksiz täsir edip bilýän çylşyrymly programmalary döretmegi aňsatlaşdyrýar.

GNU Prolog, şeýle hem, Finite Domain (FD) boýunça täsirli çäklendiriji çözüjini öz içine alýar. Bu, çäkli programmirlemegiň güýjüni logiki programmirlemegiň deklaratiwligi bilen birleşdirip, ulanyjylara çäkli logiki programmirlemäni açýar. Bu aýratynlyk bilen ulanyjylar sintaksis säwlikleri ýa-da beýleki meseleler barada aladalanman, çäklendirmelerini aňsatlyk bilen kesgitläp bilerler.

Öňünden kesgitlenen çäklendirmeler goşmak we aýyrmak ýaly arifmetiki çäklendirmeleri öz içine alýar; AND/OR ýaly boolean çäklendirmeleri; simli gabat gelmek ýaly simwoliki çäklendirmeler; Boolean operatorlaryny ulanyp, logiki şertleri aňlatmaga mümkinçilik berýän çäklendirmeler; dürli mümkinçilikleri yzygiderli öwrenip, çalt çözgüt tapmaga kömek edýän deslapky sanalma heýristikasy.

Şeýle hem, ulanyjylar dürli faýllary kabul edýän GNU prologiýasynyň buýruk setiri düzüjisi tarapyndan üpjün edilen ýönekeý buýruklary ulanyp, täze çäklendirmelerini kesgitläp bilerler. Bu, programmasynyň özüni alyp barşyna has köp gözegçilik etmek isleýän ýa-da öňünden kesgitlenen kitaphanalarda ýok aýratyn işlemäge mätäç döredijiler üçin aňsatlaşdyrýar.

Gysgaça aýtsak, senagat ülňülerine gabat gelýän çylşyrymly programmalary aňsatlyk bilen döretmäge mümkinçilik berýän güýçli, ýöne mugt gural gözleýän bolsaňyz, GNU başlangyç sözüne garamaň!