GNU Prolog (64-bit)

Përshkrim

GNU Prolog është një përpilues falas Prolog me zgjidhje kufizimesh mbi domene të fundme. GNU Prolog pranon Prolog me programe kufizimesh dhe prodhon binare vendase (siç bën gcc nga një burim C). Ekzekutuesi i marrë është më pas i pavarur. Madhësia e këtij ekzekutuesi mund të jetë i vogël pasi GNU Prolog mund të shmangë lidhjen e kodit të shumicës së kallëzuesve të integruar të papërdorur. Performancat e GNU Prolog janë shumë inkurajuese (të krahasueshme me sistemet komerciale). Përveç përpilimit të kodit vendas, GNU Prolog ofron një interpretues klasik (nivelit të lartë) me një korrigjues.

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). 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. Veçoritë përfshijnë përputhshmërinë me standardin ISO për Prolog, lehtësinë e redaktimit të linjës nën përkthyesin ndërveprues me kompletim në atome, ndërfaqen dydrejtimëshe midis Prolog dhe C, përpiluesin e kodit vendas që prodhon ekzekutues të pavarur, përpilues të thjeshtë të linjës komanduese që pranon një shumëllojshmëri skedarësh, të paracaktuar kufizimet: kufizimet aritmetike, kufizimet Boolean, kufizimet simbolike dhe kufizimet e realizuara, heuristikat e paracaktuara të numërimit dhe përdoruesi mund të përcaktojë kufizimet e tij të reja.