GNU Prolog (64-bit)

Lýsing

GNU Prolog er ókeypis Prolog þýðandi með þvingunarlausn yfir endanlegt lén. GNU Prolog tekur við Prolog með þvingunarforritum og framleiðir innfædda tvöfalda (eins og gcc gerir frá C uppruna). Keyrslan sem fæst er þá sjálfstæð. Stærð þessa keyrslu getur verið lítil þar sem GNU Prolog getur forðast að tengja kóða flestra ónotuðu innbyggðu forsagnanna. Frammistaða GNU Prolog er mjög uppörvandi (sambærileg við viðskiptakerfi). Við hliðina á innfæddum kóðasöfnun býður GNU Prolog upp á klassískan túlk (efri stig) með villuleitarforriti.

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). 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 fela í sér samræmi við ISO staðal fyrir Prolog, línuvinnsluaðstöðu undir gagnvirka túlknum með frágangi á frumeindum, tvíátta viðmóti milli Prolog og C, innfæddur kóðaþýðandi sem framleiðir sjálfstæða executables, einfaldur skipanalínuþýðandi sem tekur við ýmsum skrám, fyrirfram skilgreindum takmarkanir: reikniþvinganir, Boolean-takmarkanir, táknrænar skorður og endurskoðaðar skorður, fyrirframskilgreindar talningarþvinganir og notandi getur skilgreint sínar eigin nýjar takmarkanir.