GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bit) është një përpilues i fuqishëm dhe falas Prolog që ofron zgjidhje të kufizimeve mbi domenet e fundme. Ky softuer është krijuar për zhvilluesit që duhet të krijojnë programe komplekse me lehtësi. GNU Prolog pranon Prolog me programe kufizimesh dhe prodhon binare vendase, ashtu si gcc bën nga një burim C. Ekzekutuesi i marrë është më pas i pavarur, që do të thotë se mund të funksionojë në çdo kompjuter pa pasur nevojë për softuer shtesë ose biblioteka.

Një nga avantazhet më domethënëse të GNU Prolog është madhësia e tij e vogël. Meqenëse ky softuer mund të shmangë lidhjen e kodit të shumicës së kallëzuesve të integruar të papërdorur, madhësia e ekzekutuesit mund të jetë shumë e vogël. Kjo e bën atë ideal për zhvilluesit që duan të krijojnë aplikacione të lehta që nuk zënë shumë hapësirë ​​në kompjuterët e përdoruesve.

Performancat e GNU Prolog janë gjithashtu shumë inkurajuese dhe të krahasueshme me sistemet komerciale. Kjo do të thotë që ju mund të mbështeteni në këtë softuer për të dhënë rezultate të shpejta dhe efikase sa herë që e përdorni.

Përveç përpilimit të kodit vendas, GNU Prolog ofron një interpretues klasik (nivelit të lartë) me një korrigjues. Përkthyesi ju lejon të testoni kodin tuaj në mënyrë interaktive dhe të korrigjoni çdo problem që lind gjatë zhvillimit.

Pjesa Prolog përputhet me standardin ISO për Prolog me shumë shtesa shumë të dobishme në praktikë (variabla globale, ndërfaqe OS dhe bazat). Kjo do të thotë që ju mund të mbështeteni në këtë softuer për të dhënë rezultate të besueshme sa herë që e përdorni.

GNU Prolog përfshin gjithashtu një zgjidhës efikas të kufizimeve mbi domenet e fundme (FD). Kjo hap programimin logjik të kufizimit tek përdoruesi duke kombinuar fuqinë e programimit me kufizime me deklarimin e programimit logjik.

Karakteristikat:

- Përputhet me standardin ISO për prolog

- Lehtësia e redaktimit të linjës nën interpretuesin interaktiv me kompletim në atome

- Ndërfaqja e dyanshme midis prologut dhe C

- Përpiluesi i kodit vendas që prodhon ekzekutues të pavarur

- Përpilues i thjeshtë i linjës së komandës që pranon skedarë të ndryshëm

- Kufizimet e paracaktuara: kufizimet aritmetike, kufizimet Boolean, kufizimet simbolike, kufizimet e realizuara.

- Heuristika e numërimit të paracaktuara.

- Kufizime të reja të përcaktuara nga përdoruesi

Në përmbledhje:

Nëse jeni duke kërkuar për një përpilues prologu të fuqishëm por pa pagesë me zgjidhje kufizimesh mbi domene të fundme, atëherë mos kërkoni më larg se prologu GNU 32-bit! Me madhësinë e tij të vogël por aftësitë mbresëlënëse të performancës së bashku me një ndërfaqe intuitive të përdoruesit e bëjnë këtë program të përsosur jo vetëm për fillestarët, por edhe për programuesit me përvojë!