GNU Prolog on ilmainen Prolog kääntäjä rajoitteen ratkaisemaan äärellisissä verkkotunnuksia. GNU Prolog hyväksyy Prolog väkinäisesti ohjelmia ja tuottaa natiivi binäärit (kuten gcc tekee välillä C lähde). Saatu suoritettavan sitten stand-alone. Koko on suoritettavan voi olla pieni, koska GNU Prolog voi välttää yhdistää koodi useimpien käyttämättömiä sisäänrakennettu predikaatteja. Esitykset GNU Prolog ovat hyvin rohkaisevia (verrattavissa kaupallisiin järjestelmiin). Rinnalla natiivi-koodin kokoelma, GNU Prolog tarjoaa klassista tulkki (huipputason) kanssa debugger.
Prolog osa noudattaa ISO-standardi Prolog monia laajennuksia erittäin hyödyllinen käytännössä (globaaleja muuttujia, OS käyttöliittymä, ja pistorasiat). GNU Prolog myös tehokas rajoite ratkaisija äärellisissä Verkkotunnukset (FD). Tämä avaa rajoitus logiikkaohjelmoinnin käyttäjälle yhdistyvät voima rajoitus ohjelmointi declarativity logiikan ohjelmointi. Ominaisuuksiin kuuluu Täyttää ISO-standardi Prolog, muokkaus laitos alle interaktiivinen tulkki kanssa loppuunsaattamisen atomien, kaksisuuntainen rajapinta Prolog ja C, natiivi-koodin kääntäjä tuottaa yksinään ajettavat, yksinkertainen komentorivin kääntäjä hyväksymällä erilaisia tiedostoja, ennalta rajoitteet: aritmeettinen rajoitteet, Boolen rajoitteet, symbolinen rajoitteet, ja konkretisoidulla rajoitteet, ennalta laskentaa heuristiikka, ja käyttäjä voi määritellä omia uusia rajoituksia.
Kommentteja ei löytynyt