GNU Prolog (64-bit) 1.4.3

GNU Prolog (64-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, sem gerir það sjálfstætt og skilvirkt.

Einn mikilvægasti kosturinn við GNU Prolog er hæfni þess til að forðast að tengja kóða flestra ónotuðu innbyggðu forsagnanna, sem leiðir til smærri keyrslustærða. 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. Túlkurinn býður upp á línuvinnsluaðstöðu í gagnvirkum ham með frágangi á frumeindum, sem gerir það auðvelt fyrir forritara að kemba kóðann sinn.

Hugbúnaðurinn er í samræmi við ISO staðalinn fyrir Prolog með mörgum viðbótum sem eru mjög gagnlegar í reynd eins og alþjóðlegar breytur, stýrikerfisviðmót og innstungur. Þetta auðveldar forriturum að búa til flókin forrit sem geta átt óaðfinnanlega samskipti við önnur kerfi.

GNU Prolog inniheldur einnig skilvirkan þvingunarleysi yfir Finite Domains (FD). Þetta opnar notendum þvingunarrökfræðiforritun með því að sameina kraft þvingunarforritunar og yfirlýsingar rökfræðiforritunar. Með þessum eiginleika geta notendur skilgreint takmarkanir sínar auðveldlega án þess að hafa áhyggjur af setningafræðivillum eða öðrum vandamálum.

Forskilgreindar skorður innihalda talnalegar skorður eins og samlagningu og frádrátt; Boolean skorður eins og OG/EÐA; táknrænar takmarkanir eins og strengjasamsvörun; endurskoðaðar takmarkanir sem gera þér kleift að tjá rökrétt skilyrði með því að nota Boolean rekstraraðila; fyrirfram skilgreindar upptalningaraðferðir sem hjálpa þér að finna lausnir fljótt með því að kanna mismunandi möguleika kerfisbundið.

Notendur geta einnig skilgreint sínar eigin nýjar takmarkanir með því að nota einfaldar skipanir frá skipanalínuþýðanda GNU formálsins sem tekur við ýmsum skrám. Þetta gerir það auðvelt fyrir forritara sem vilja meiri stjórn á hegðun forritsins eða þurfa sérstaka virkni sem ekki er til í fyrirfram skilgreindum bókasöfnum.

Í stuttu máli, ef þú ert að leita að öflugu en ókeypis tóli sem gerir þér kleift að búa til flókin forrit á auðveldan hátt á meðan þú ert í ströngu samræmi við iðnaðarstaðla, þá skaltu ekki leita lengra en GNU formála!