GNU Prolog on ilmainen Prolog-kääntäjä, jolla rajoitus ratkaisemaan yli finite verkkotunnukset kehittänyt Daniel Diaz. GNU Prolog hyväksyy Prolog rajoitus ohjelmia ja tuottaa natiivi binäärit (kuten gcc ei C lähde). Saatu executable on niin stand-alone.
Koko tämä executable voi olla melko pieni, koska GNU Prolog voi välttää linkki koodi, useimmat käyttämättömiä sisäänrakennettuja predikaatteja. Esityksiä GNU Prolog ovat erittäin rohkaisevia (verrattavissa kaupalliset järjestelmät). Vieressä natiivi-koodin kokoaminen, GNU Prolog tarjoaa klassisen interaktiivinen tulkki (top-level) debuggerilla.
Prolog osa täyttää ISO-standardi Prolog monia laajennuksia erittäin hyödyllinen käytännössä (globaaleja muuttujia, OS käyttöliittymä, pistorasiat,).GNU Prolog sisältää myös tehokas rajoite ratkaisija yli Finite Aloilla (FD). Tämä avaa contraint logiikan ohjelmointi käyttäjän yhdistämällä teho rajoitus ohjelma declarativity logiikan ohjelmointi.
Tärkeimmät ominaisuudet:
- Prolog-järjestelmä:
- täyttää ISO-standardi Prolog (liukulukuja, purot, dynaaminen koodi).
- paljon laajennuksia: globaaleja muuttujia, selvä lauseke kieliopit (DCG), pistorasiat käyttöliittymä, käyttöjärjestelmän käyttöliittymä
- yli 300 Prolog sisäänrakennettuja predikaatteja.
- Prolog debuggeri ja matalan tason WAM debuggeri.
- line editointi laitos, alle interaktiivinen tulkki loppuun atomeja.
- tehokas kaksisuuntaisen rajapinnan Prolog ja C.
- Kääntäjä:
- native-koodia kääntäjä tuottaa stand alone ajettavat.
- yksinkertainen command line compiler hyväksyä monenlaisia tiedostoja: Prolog-tiedostot, C-tiedostot, WAM-tiedostot,...
- suora sukupolven kokoonpano koodi 15 kertaa nopeammin kuin wamcc gcc.
- suurin osa käyttämättömiä sisäänrakennettu predikaatit eivät ole yhteydessä toisiinsa (vähentää koko ajettavat).
- koottu predikaatit (natiivi-koodi) niin nopeasti kuin wamcc keskimäärin.
- kuultu predikaatit (byte-koodi) 5 kertaa nopeammin kuin wamcc.
- Rajoite ratkaisija:
- FD muuttujat hyvin integroitu Prolog-ympäristössä (täysi yhteensopivuus Prolog muuttujat ja kokonaislukuja). Ei tarvita nimenomaista FD ilmoitukset.
- erittäin tehokas FD ratkaisija (verrattavissa kaupallisten solvers).
- korkean tason rajoitteet voidaan kuvata yksinkertainen primitiivit.
- paljon ennalta rajoitukset: aritmeettiset rajoitteet, boolean rajoitteet, symboliset rajoitteet, reified rajoitteet,...
- useita ennalta luettelointi heuristiikka.
- käyttäjä voi määritellä oman uusia rajoitteita.
- yli 50 FD sisäänrakennettu rajoitteet/predikaatit.
Kommentit