GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-bita) er öflugur og ókeypis Prolog þýðandi sem býður upp á þvingunarlausn yfir endanlegt lén. Þessi hugbúnaður er hannaður fyrir forritara sem þurfa að búa til flókin forrit á auðveldan hátt. GNU Prolog tekur við Prolog með þvingunarforritum og framleiðir innfædda tvöfalda, alveg eins og gcc gerir úr C uppsprettu. Keyrslan sem fæst er síðan sjálfstætt, sem þýðir að það getur keyrt á hvaða tölvu sem er án þess að þurfa viðbótarhugbúnað eða bókasöfn.

Einn mikilvægasti kosturinn við GNU Prolog er smæð þess. Þar sem þessi hugbúnaður getur forðast að tengja kóða flestra ónotuðu innbyggðu forsagnanna getur stærð keyrslunnar verið mjög lítil. Þetta gerir það tilvalið fyrir forritara sem vilja búa til létt forrit sem taka ekki of mikið pláss á tölvum notenda.

Frammistaða GNU Prolog er líka mjög hvetjandi og sambærileg við viðskiptakerfi. Þetta þýðir að þú getur reitt þig á þennan hugbúnað til að skila hröðum og skilvirkum árangri í hvert skipti sem þú notar hann.

Við hliðina á innfæddum kóðasöfnun býður GNU Prolog upp á klassískan túlk (efri stig) með villuleitarforriti. Túlkurinn gerir þér kleift að prófa kóðann þinn gagnvirkt og kemba öll vandamál sem koma upp við þróun.

Prolog hlutinn er í samræmi við ISO staðalinn fyrir Prolog með mörgum viðbótum sem eru mjög gagnlegar í reynd (alþjóðlegar breytur, stýrikerfisviðmót og innstungur). Þetta þýðir að þú getur reitt þig á þennan hugbúnað til að skila áreiðanlegum árangri í hvert skipti sem þú notar hann.

GNU Prolog inniheldur einnig skilvirkan þvingunarleysi yfir Finite Domains (FD). Þetta opnar þvingunarrökforritun fyrir notandann og sameinar kraft þvingunarforritunar við yfirlýsingu rökfræðiforritunar.

Eiginleikar:

- Samræmist ISO staðli fyrir formál

- Línuklippingaraðstaða undir gagnvirkum túlk með frágangi á frumeindum

- Tvíátta tengi milli formáls og C

- Innfæddur kóða þýðandi sem framleiðir sjálfstæða keyrslu

- Einfaldur skipanalínuþýðandi sem tekur við ýmsum skrám

- Forskilgreindar skorður: reiknitakmarkanir, Boolean skorður, táknrænar skorður, endurgerðar skorður.

- Forskilgreind upptalningaheuristics.

- Notendaskilgreindar nýjar skorður

Í stuttu máli:

Ef þú ert að leita að öflugum en ókeypis formálaþýðanda með þvingunarlausn yfir endanlegt lén, þá skaltu ekki leita lengra en GNU formáli 32-bita! Með smæðinni en þó áhrifamikilli afköstum ásamt leiðandi notendaviðmóti gerir þetta forrit fullkomið, ekki aðeins byrjendur heldur einnig reynda forritara!