GNU Prolog egy ingyenes Prolog-fordítónak kényszer megoldása véges területen. GNU Prolog elfogadja Prolog a megszorítás programok és gyárt natív bináris (mint a gcc nem egy C forrás). A kapott futtatható ezután önálló. A méret Ez a program lehet kisebb, mivel GNU Prolog elkerülheti összeköti a kódot a legtöbb kihasználatlan beépített predikátumok. Az előadások a GNU Prolog nagyon biztatóak (összehasonlítva a kereskedelmi rendszerek). Mellette a natív kód összeállítása, GNU Prolog kínál klasszikus tolmács (felső szintű) egy debugger.
A Prolog része megfelel az ISO szabvány Prolog sok kiegészítéssel nagyon hasznos a gyakorlatban (globális változók, OS interfész, és konnektorok). GNU Prolog is hatékony kényszer-megoldó véges tartományok (FD). Ez megnyitja korlát logikai programozás, hogy a felhasználó egyesíti az erejét korlátozás programozás a declarativity logikai programozás. Jellemzők megfelel az ISO szabvány Prolog, sor szerkesztés lehetőség az interaktív tolmács befejezése a atomokat, kétirányú interfész között Prolog és C, natív kódú fordító termelő önálló futtatható, egyszerű parancssoros fordítót elfogadó különféle fájlokat, előre meghatározott korlátok: az aritmetikai korlátok, logikai korlátok, szimbolikus korlátok, és a tárgyiasult megszorítások, előre meghatározott felsorolás heurisztika, és a felhasználó meghatározhatja saját új megszorításokra.
Hozzászólás nem található