GNU Prolog (32-bit) 1.4.3

GNU Prolog (32 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 veido vietējos bināros failus, tāpat kā gcc no C avota. Pēc tam iegūtais izpildāmais fails ir atsevišķs, kas nozīmē, ka tas var darboties jebkurā datorā bez papildu programmatūras vai bibliotēkām.

Viena no nozīmīgākajām GNU Prolog priekšrocībām ir tā mazais izmērs. Tā kā šī programmatūra var izvairīties no vairuma neizmantoto iebūvēto predikātu koda saistīšanas, izpildāmā faila lielums var būt ļoti mazs. Tas padara to ideāli piemērotu izstrādātājiem, kuri vēlas izveidot vieglas lietojumprogrammas, kas neaizņem pārāk daudz vietas lietotāju datoros.

Arī GNU Prolog sniegums ir ļoti iepriecinošs un salīdzināms ar komerciālajām sistēmām. Tas nozīmē, ka varat paļauties uz šo programmatūru, lai nodrošinātu ātrus un efektīvus rezultātus katru reizi, kad to lietojat.

Papildus vietējā koda kompilācijai GNU Prolog piedāvā klasisko tulku (augstākā līmeņa) ar atkļūdotāju. Tulks ļauj interaktīvi pārbaudīt kodu un atkļūdot visas problēmas, kas rodas izstrādes laikā.

Prolog daļa atbilst Prolog ISO standartam ar daudziem praksē ļoti noderīgiem paplašinājumiem (globālie mainīgie, OS saskarne un ligzdas). Tas nozīmē, ka varat paļauties uz šo programmatūru, lai nodrošinātu uzticamus rezultātus katru reizi, kad to lietojat.

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.

Iespējas:

- Atbilst ISO standartam prologam

- Līniju rediģēšanas iespēja ar interaktīvu tulku ar pabeigšanu uz atomiem

- Divvirzienu saskarne starp prologu un C

- Native-koda kompilators, kas ražo atsevišķus izpildāmos failus

- Vienkāršs komandrindas kompilators, kas pieņem dažādus failus

- Iepriekš noteikti ierobežojumi: aritmētiskie ierobežojumi, Būla ierobežojumi, simboliskie ierobežojumi, pārveidoti ierobežojumi.

- Iepriekš noteikta uzskaitīšanas heiristika.

- Lietotāja definēti jauni ierobežojumi

Kopsavilkumā:

Ja meklējat jaudīgu, taču bezmaksas prologu kompilatoru ar ierobežojumu atrisināšanu ierobežotos domēnos, meklējiet tikai GNU 32 bitu prologu! Ar tās mazo izmēru, taču iespaidīgajām veiktspējas iespējām, kas apvienotas ar intuitīvu lietotāja interfeisu, šī programma ir ideāla ne tikai iesācējiem, bet arī pieredzējušiem programmētājiem!