GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bittinen) on tehokas ja ilmainen Prolog-kääntäjä, joka tarjoaa rajoitteiden ratkaisua rajallisissa toimialueissa. Tämä ohjelmisto on suunniteltu kehittäjille, jotka haluavat luoda monimutkaisia ​​ohjelmia helposti. GNU Prolog hyväksyy Prologin rajoitusohjelmineen ja tuottaa alkuperäisiä binaaritiedostoja, aivan kuten gcc tekee C-lähteestä. Saatu suoritettava tiedosto on sitten erillinen, mikä tarkoittaa, että se voi toimia millä tahansa tietokoneella ilman lisäohjelmistoja tai kirjastoja.

Yksi GNU Prologin merkittävimmistä eduista on sen pieni koko. Koska tämä ohjelmisto voi välttää useimpien käyttämättömien sisäänrakennettujen predikaattien koodin linkittämistä, suoritettavan tiedoston koko voi olla hyvin pieni. Tämä tekee siitä ihanteellisen kehittäjille, jotka haluavat luoda kevyitä sovelluksia, jotka eivät vie liikaa tilaa käyttäjien tietokoneilta.

GNU Prologin suoritukset ovat myös erittäin rohkaisevia ja verrattavissa kaupallisiin järjestelmiin. Tämä tarkoittaa, että voit luottaa siihen, että tämä ohjelmisto tuottaa nopeita ja tehokkaita tuloksia joka kerta, kun käytät sitä.

Natiivikoodin käännöksen lisäksi GNU Prolog tarjoaa klassisen tulkin (huipputason), jossa on virheenkorjaus. Tulkin avulla voit testata koodiasi vuorovaikutteisesti ja korjata kaikki kehityksen aikana ilmenevät ongelmat.

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). Tämä tarkoittaa, että voit luottaa siihen, että tämä ohjelmisto tuottaa luotettavia tuloksia joka kerta, kun käytät sitä.

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.

Ominaisuudet:

- Täyttää prologin ISO-standardin

- Linjojen muokkausmahdollisuus interaktiivisen tulkin alaisuudessa atomeissa

- Kaksisuuntainen rajapinta 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ääritetyt rajoitukset: aritmeettiset rajoitukset, Boolen rajoitukset, symboliset rajoitukset, tarkennetut rajoitukset.

- Ennalta määritetty luettelointiheuristiikka.

- Käyttäjän määrittelemät uudet rajoitukset

Yhteenvetona:

Jos etsit tehokasta mutta ilmaista prologikääntäjää, jossa on rajoitteiden ratkaiseminen rajallisilla aloilla, älä etsi 32-bittistä GNU-prologia! Pienen koon, mutta vaikuttavan suorituskyvyn ja intuitiivisen käyttöliittymän ansiosta tämä ohjelma on täydellinen sekä aloittelijoille että kokeneille ohjelmoijille!