GNU Prolog (64-bit)

Apraksts

GNU Prolog ir bezmaksas Prolog kompilators ar ierobežojumu atrisināšanu ierobežotos domēnos. GNU Prolog pieņem Prolog ar ierobežojošām programmām un veido vietējos bināros failus (kā to dara gcc no C avota). Pēc tam iegūtais izpildāmais fails ir atsevišķs. Šī izpildāmā faila lielums var būt mazs, jo GNU Prolog var izvairīties no vairuma neizmantoto iebūvēto predikātu koda saistīšanas. GNU Prolog sniegums ir ļoti iepriecinošs (salīdzināms ar komerciālajā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.

Prolog daļa atbilst Prolog ISO standartam ar daudziem praksē ļoti noderīgiem paplašinājumiem (globālie mainīgie, OS saskarne un ligzdas). GNU Prolog ietver arī efektīvu ierobežojumu risinātāju pār ierobežotajiem domēniem (FD). Tas lietotājam atver ierobežojumu loģisko programmēšanu, apvienojot ierobežojumu programmēšanas spēku ar loģiskās programmēšanas deklarativitāti. Funkcijas ietver atbilstību ISO standartam Prolog, līniju rediģēšanas iespēja ar interaktīvo tulku ar pabeigšanu uz atomiem, divvirzienu saskarne starp Prolog un C, vietējā koda kompilators, kas rada atsevišķus izpildāmos failus, vienkāršs komandrindas kompilators, kas pieņem dažādus failus, iepriekš definēts. ierobežojumi: aritmētiskie ierobežojumi, Būla ierobežojumi, simboliskie ierobežojumi un pārveidoti ierobežojumi, iepriekš noteikta uzskaitīšanas heiristika, un lietotājs var definēt savus jaunos ierobežojumus.