GNU Prolog (64-bit) 1.4.3

A GNU Prolog (64 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ő, így önálló és hatékony.

A GNU Prolog egyik legjelentősebb előnye, hogy képes elkerülni a legtöbb használaton kívüli beépített predikátum kódjának összekapcsolását, ami kisebb futtatható méreteket eredményez. A GNU Prolog teljesítménye nagyon biztató, összehasonlítható a kereskedelmi rendszerekkel.

A natív kód fordítása mellett a GNU Prolog klasszikus (legfelső szintű) értelmezőt kínál hibakeresővel. Az értelmező sorszerkesztési lehetőséget biztosít interaktív módban, atomokon történő befejezéssel, megkönnyítve a fejlesztők számára a kódjuk hibakeresését.

A szoftver megfelel a Prolog ISO szabványának, számos, a gyakorlatban nagyon hasznos kiterjesztéssel, például globális változókkal, operációs rendszer interfészekkel és socketekkel. Ez megkönnyíti a fejlesztők számára olyan összetett programok létrehozását, amelyek zökkenőmentesen együttműködnek más rendszerekkel.

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ók előtt azáltal, hogy egyesíti a kényszerprogramozás erejét a logikai programozás deklarativitásával. Ezzel a funkcióval a felhasználók egyszerűen meghatározhatják megszorításaikat anélkül, hogy szintaktikai hibáktól vagy egyéb problémáktól kellene aggódniuk.

Az előre meghatározott megszorítások közé tartoznak az olyan számtani kényszerek, mint az összeadás és kivonás; logikai megszorítások, mint például az ÉS/VAGY; szimbolikus megszorítások, mint például a karakterlánc-illesztés; pontosított megszorítások, amelyek lehetővé teszik logikai feltételek kifejezését Boole-operátorok használatával; előre definiált felsorolási heurisztika, amely segít gyorsan megtalálni a megoldásokat a különböző lehetőségek szisztematikus feltárásával.

A felhasználók saját új megszorításaikat is meghatározhatják a GNU prologue parancssori fordítójának egyszerű parancsaival, amelyek különféle fájlokat fogadnak el. Ez megkönnyíti azoknak a fejlesztőknek a dolgát, akik jobban szabályozni szeretnék programjuk viselkedését, vagy olyan speciális funkciókra van szükségük, amelyek nem állnak rendelkezésre előre meghatározott könyvtárakban.

Összefoglalva, ha egy hatékony, de ingyenes eszközt keres, amely lehetővé teszi összetett programok egyszerű létrehozását, miközben szigorúan megfelel az ipari szabványoknak, akkor ne keressen tovább, mint a GNU prológ!