GNU Prolog (32-bit)

Leírás

A GNU Prolog egy ingyenes Prolog fordító, amely véges tartományokra korlátozza a megoldást. A GNU Prolog elfogadja a Prolog-ot kényszerprogramokkal, és natív binárisokat állít elő (mint ahogy a gcc teszi a C forrásból). A kapott végrehajtható fájl ezután önálló. Ennek a végrehajtható fájlnak a mérete kicsi is lehet, mivel a GNU Prolog elkerülheti a legtöbb nem használt beépített predikátum kódjának összekapcsolását. A GNU Prolog teljesítménye nagyon biztató (a kereskedelmi rendszerekhez hasonlítható). A natív kód fordítása mellett a GNU Prolog klasszikus (legfelső szintű) értelmezőt kínál hibakeresővel.

A Prolog rész megfelel a Prolog ISO szabványának, számos, a gyakorlatban nagyon hasznos kiterjesztéssel (globális változók, operációs rendszer interfész és socketek). A GNU Prolog egy hatékony kényszermegoldót is tartalmaz a véges tartományokhoz (FD). Ez megnyitja a kényszerlogikai programozást a felhasználó előtt, kombinálva a kényszerprogramozás erejét a logikai programozás deklarativitásával. A szolgáltatások közé tartozik a Prolog ISO szabványának való megfelelés, az interaktív értelmező alatti sorszerkesztési lehetőség atomokon történő kiegészítéssel, a Prolog és a C közötti kétirányú interfész, a natív kódú fordító, amely önálló futtatható fájlokat készít, az egyszerű parancssori fordító, amely számos fájlt fogad el, előre meghatározott megszorítások: aritmetikai megszorítások, logikai megszorítások, szimbolikus megszorítások és újraértelmezett megszorítások, előre meghatározott felsorolási heurisztika, és a felhasználó meghatározhatja saját új megszorításait.