GNU Prolog egy ingyenes Prolog fordító a kényszer megoldása véges domainek által kifejlesztett Daniel Diaz. GNU Prolog elfogadja Prolog kényszer programok is, amely natív bináris (mint a gcc nem a C source). A kapott végrehajtható akkor, önálló.
A méret a futtatható lehet elég kis óta GNU Prolog elkerülhető, hogy a link a kódot a legtöbb kihasználatlan beépített predicates. Az előadások GNU Prolog nagyon biztató (hasonló kereskedelmi rendszerek). Mellett a natív kód válogatás, GNU Prolog kínál egy klasszikus interaktív tolmács (top-level) egy debugger.
A Stratégia részben megfelel az ISO szabvány a Prolog sok fájlokat nagyon hasznos gyakorlat (globális változók, OPERÁCIÓS rendszer interfész, foglalat,).GNU Prolog tartalmaz egy hatékony kényszer megoldó át Véges Domainek (FD). Ez megnyitja contraint logikai programozás, hogy a felhasználó ötvözi a teljesítmény kényszer programozás a declarativity logikai programozás.
Fő jellemzők:
- Prolog rendszer:
- megfelel az ISO szabvány a Prolog (lebegőpontos számok, patakok, dinamikus kód).
- egy csomó fájlokat: globális változók, határozott záradék grammars (DCG), aljzatok felület, operációs rendszer interfész
- több mint 300 Prolog beépített predicates.
- Prolog debugger, illetve alacsony szintű WAM debugger.
online szerkesztő létesítmény alatt az interaktív tolmács befejezésére az atomok.
- erős kétirányú interfész között Prolog.
- Fordító:
- bennszülött-kód fordító termelő önállóan futtatható.
- egyszerű parancssori fordító elfogadó sokféle fájlok: Prolog fájlokat, C fájlokat, WAM fájlokat,...
- közvetlen generációs assembly kódot 15-ször gyorsabb, mint wamcc gcc.
- a legtöbb kihasználatlan beépített predicates nem kapcsolódó (csökkenti a méret a programot).
- összeállított predicates (bennszülött-kód), amilyen gyorsan csak wamcc átlagosan.
- konzultált predicates (byte-kód) 5-ször gyorsabb, mint wamcc.
- Kényszer megoldó:
- FD változók jól integrálható a Prolog környezet (a teljes kompatibilitást a Prolog változók egész szám). Nem kell explicit FD nyilatkozatok.
- nagyon hatékony FD megoldó (hasonló kereskedelmi megoldó).
- magas szintű megszorítások lehet leírni, tekintve egyszerű, primitívek.
- egy csomó előre meghatározott korlátok: számtani korlátok, logikai korlátok, szimbolikus korlátok, reified korlátok,...
- több, előre meghatározott számlálás alkotóelemei.
- a felhasználó meghatározhatja a saját új korlátok.
- több, mint 50 FD beépített korlátok/predicates.
Hozzászólások