GNU Prolog (32-bit) 1.4.3

A GNU Prolog (32 bites) egy nagy teljesítményű és ingyenes Prolog fordító, amely véges tartományok korlátozásainak megoldását kínálja. Ezt a szoftvert olyan fejlesztőknek tervezték, akiknek összetett programokat kell könnyedén létrehozniuk. A GNU Prolog elfogadja a Prolog-ot kényszerprogramokkal, és natív binárisokat állít elő, akárcsak a gcc C forrásból. A kapott végrehajtható fájl ezután önálló, ami azt jelenti, hogy bármilyen számítógépen futhat további szoftverek vagy könyvtárak nélkül.

A GNU Prolog egyik legjelentősebb előnye a kis mérete. Mivel ez a szoftver elkerülheti a legtöbb nem használt beépített predikátum kódjának összekapcsolását, a végrehajtható fájl mérete nagyon kicsi lehet. Ez ideálissá teszi azokat a fejlesztőket, akik olyan könnyű alkalmazásokat szeretnének létrehozni, amelyek nem foglalnak túl sok helyet a felhasználók számítógépén.

A GNU Prolog teljesítménye is nagyon biztató, és összehasonlítható a kereskedelmi rendszerekkel. Ez azt jelenti, hogy támaszkodhat erre a szoftverre, hogy minden alkalommal gyors és hatékony eredményeket érjen el.

A natív kód fordítása mellett a GNU Prolog klasszikus (legfelső szintű) értelmezőt kínál hibakeresővel. Az értelmező lehetővé teszi a kód interaktív tesztelését és a fejlesztés során felmerülő problémák hibakeresését.

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). Ez azt jelenti, hogy támaszkodhat erre a szoftverre, és minden alkalommal megbízható eredményeket biztosít.

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.

Jellemzők:

- Megfelel a prológ ISO szabványának

- Sorszerkesztési lehetőség interaktív tolmács alatt, atomokon való kiegészítéssel

- Kétirányú interfész a prológ és a C között

- Natív kód fordító, amely önálló futtatható fájlokat készít

- Egyszerű parancssori fordító, amely különféle fájlokat fogad el

- Előre definiált megszorítások: aritmetikai kényszerek, logikai megszorítások, szimbolikus megszorítások, pontosított kényszerek.

- Előre meghatározott felsorolási heurisztika.

- Felhasználó által definiált új megszorítások

Összefoglalva:

Ha egy hatékony, de ingyenes prológ fordítót keres véges tartományokra vonatkozó kényszermegoldással, akkor ne keressen tovább, mint a 32 bites GNU prológ! Kis méretének, de lenyűgöző teljesítményének köszönhetően az intuitív felhasználói felülettel párosulva ez a program nem csak a kezdőknek, hanem a tapasztalt programozóknak is tökéletessé teszi!