GNU Prolog (32-bit)

Kuvaus

GNU Prolog on ilmainen Prolog-kääntäjä, joka ratkaisee rajallisten verkkotunnusten rajoituksia. GNU Prolog hyväksyy Prologin rajoitusohjelmineen ja tuottaa alkuperäisiä binääritiedostoja (kuten gcc tekee C-lähteestä). Saatu suoritettava tiedosto on sitten erillinen. Tämän suoritettavan tiedoston koko voi olla pieni, koska GNU Prolog voi välttää useimpien käyttämättömien sisäänrakennettujen predikaattien koodin linkittämistä. GNU Prologin suoritukset ovat erittäin rohkaisevia (verrattavissa kaupallisiin järjestelmiin). Natiivikoodin käännöksen lisäksi GNU Prolog tarjoaa klassisen tulkin (huipputason), jossa on virheenkorjaus.

Prolog-osa on Prologin ISO-standardin mukainen monilla käytännössä erittäin hyödyllisillä laajennuksilla (globaalit muuttujat, käyttöjärjestelmän käyttöliittymä ja pistorasiat). GNU Prolog sisältää myös tehokkaan rajallisten verkkotunnusten (FD) rajoitusten ratkaisijan. Tämä avaa rajoituslogiikkaohjelmoinnin käyttäjälle yhdistämällä rajoitusohjelmoinnin voiman logiikkaohjelmoinnin deklaratiivisuuteen. Ominaisuuksiin kuuluu Prologin ISO-standardin mukainen, rivinmuokkausmahdollisuus interaktiivisen tulkin alaisuudessa atomeissa, kaksisuuntainen käyttöliittymä Prologin ja C:n välillä, natiivikoodin kääntäjä, joka tuottaa itsenäisiä suoritettavia tiedostoja, yksinkertainen komentorivikääntäjä, joka hyväksyy erilaisia ​​tiedostoja, ennalta määritetty rajoitukset: aritmeettiset rajoitukset, Boolen rajoitukset, symboliset rajoitukset ja tarkennetut rajoitukset, ennalta määritellyt luettelointiheuristiikka, ja käyttäjä voi määritellä omat uudet rajoitteensa.