GNU Prolog (64-bit) 1.4.3

GNU Prolog (64-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, duke e bërë atë të pavarur dhe efikas.

Një nga avantazhet më domethënëse të GNU Prolog është aftësia e tij për të shmangur lidhjen e kodit të shumicës së kallëzuesve të integruar të papërdorur, duke rezultuar në madhësi më të vogla të ekzekutueshme. 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. Përkthyesi ofron lehtësi për redaktimin e linjës në modalitetin interaktiv me kompletim në atome, duke e bërë të lehtë për zhvilluesit të korrigjojnë kodin e tyre.

Softueri përputhet me standardin ISO për Prolog me shumë shtesa shumë të dobishme në praktikë si variablat globalë, ndërfaqja e OS dhe bazat. Kjo e bën më të lehtë për zhvilluesit të krijojnë programe komplekse që mund të ndërveprojnë pa probleme me sisteme të tjera.

GNU Prolog përfshin gjithashtu një zgjidhës efikas të kufizimeve mbi domenet e fundme (FD). Kjo hap programimin logjik të kufizimeve për përdoruesit duke kombinuar fuqinë e programimit me kufizime me deklarimin e programimit logjik. Me këtë veçori, përdoruesit mund të përcaktojnë lehtësisht kufizimet e tyre pa u shqetësuar për gabimet sintaksore ose çështje të tjera.

Kufizimet e paracaktuara përfshijnë kufizime aritmetike si shtimi dhe zbritja; Kufizimet Boolean si AND/OR; kufizime simbolike si përputhja e vargjeve; kufizime të modifikuara që ju lejojnë të shprehni kushtet logjike duke përdorur operatorët Boolean; heuristikat e paracaktuara të numërimit të cilat ju ndihmojnë të gjeni zgjidhje shpejt duke eksploruar sistematikisht mundësi të ndryshme.

Përdoruesit mund të përcaktojnë gjithashtu kufizimet e tyre të reja duke përdorur komanda të thjeshta të ofruara nga përpiluesi i linjës së komandave të prologut GNU që pranon një sërë skedarësh. Kjo e bën të lehtë për zhvilluesit që duan më shumë kontroll mbi sjelljen e programit të tyre ose kanë nevojë për funksione specifike që nuk disponohen në bibliotekat e paracaktuara.

Si përmbledhje, nëse jeni duke kërkuar për një mjet të fuqishëm por pa pagesë që ju lejon të krijoni programe komplekse lehtësisht duke u përshtatur rreptësisht me standardet e industrisë, atëherë mos kërkoni më tej se prologu GNU!