GNU Prolog (64-bit) 1.4.3

GNU Prolog (64 bitu) ir spēcīgs un bezmaksas Prolog kompilators, kas piedāvā ierobežojumu atrisināšanu ierobežotos domēnos. Šī programmatūra ir paredzēta izstrādātājiem, kuriem ir nepieciešams viegli izveidot sarežģītas programmas. GNU Prolog pieņem Prolog ar ierobežojošām programmām un rada vietējos bināros failus, padarot to par atsevišķu un efektīvu.

Viena no nozīmīgākajām GNU Prolog priekšrocībām ir tā spēja izvairīties no vairuma neizmantoto iebūvēto predikātu koda saistīšanas, kā rezultātā tiek iegūti mazāki izpildāmie izmēri. GNU Prolog sniegums ir ļoti iepriecinošs, salīdzināms ar komerciālām sistēmām.

Papildus vietējā koda kompilācijai GNU Prolog piedāvā klasisko tulku (augstākā līmeņa) ar atkļūdotāju. Tulks nodrošina līniju rediģēšanas iespēju interaktīvā režīmā ar pabeigšanu uz atomiem, padarot izstrādātājiem vienkāršu sava koda atkļūdošanu.

Programmatūra atbilst Prolog ISO standartam ar daudziem praksē ļoti noderīgiem paplašinājumiem, piemēram, globālajiem mainīgajiem, OS saskarni un ligzdām. Tādējādi izstrādātājiem ir vieglāk izveidot sarežģītas programmas, kas var nemanāmi mijiedarboties ar citām sistēmām.

GNU Prolog ietver arī efektīvu ierobežojumu risinātāju pār ierobežotajiem domēniem (FD). Tas lietotājiem paver ierobežojumu loģisko programmēšanu, apvienojot ierobežojumu programmēšanas jaudu ar loģiskās programmēšanas deklarativitāti. Izmantojot šo funkciju, lietotāji var viegli definēt savus ierobežojumus, neuztraucoties par sintakses kļūdām vai citām problēmām.

Iepriekš noteiktie ierobežojumi ietver aritmētiskus ierobežojumus, piemēram, saskaitīšanu un atņemšanu; Būla ierobežojumi, piemēram, UN/OR; simboliski ierobežojumi, piemēram, virkņu saskaņošana; reified ierobežojumi, kas ļauj izteikt loģiskus nosacījumus, izmantojot Būla operatorus; iepriekš noteiktas uzskaitīšanas heiristikas, kas palīdz ātri atrast risinājumus, sistemātiski izpētot dažādas iespējas.

Lietotāji var arī definēt savus jaunos ierobežojumus, izmantojot vienkāršas komandas, ko nodrošina GNU prologa komandrindas kompilators, kas pieņem dažādus failus. Tas atvieglo izstrādātājiem, kuri vēlas vairāk kontrolēt savas programmas darbību vai kuriem nepieciešama īpaša funkcionalitāte, kas nav pieejama iepriekš noteiktās bibliotēkās.

Rezumējot, ja jūs meklējat jaudīgu, taču bezmaksas rīku, kas ļauj viegli izveidot sarežģītas programmas, vienlaikus stingri ievērojot nozares standartus, tad meklējiet tikai GNU prologu!