GNU Prolog (64-bit) 1.4.3

GNU Prolog (64-Bit) ass e mächtege a gratis Prolog Compiler deen Aschränkungsléisung iwwer endlech Domainen ubitt. Dës Software ass fir Entwéckler entworf déi komplex Programmer mat Liichtegkeet erstellen mussen. GNU Prolog akzeptéiert Prolog mat Constraint Programmer a produzéiert gebierteg Binären, sou datt et stand-alone an effizient ass.

Ee vun de bedeitendsten Virdeeler vum GNU Prolog ass seng Fäegkeet fir de Code vun de meescht onbenotzten agebaute Prädikate ze verbannen, wat zu méi kleng ausführbar Gréissten resultéiert. D'Leeschtunge vum GNU Prolog si ganz encouragéierend, vergläichbar mat kommerziellen Systemer.

Nieft der gebierteg-Code-Kompilatioun bitt GNU Prolog e klassesche Dolmetscher (Top-Level) mat engem Debugger. Den Dolmetscher bitt Linn Redaktiounsméiglechkeet ënner interaktive Modus mat Fäerdegstellung op Atomer, wat et einfach mécht fir Entwéckler hire Code ze debuggen.

D'Software entsprécht dem ISO Standard fir Prolog mat villen Extensiounen ganz nëtzlech an der Praxis wéi global Variablen, OS Interface a Sockets. Dëst mécht et méi einfach fir Entwéckler komplex Programmer ze kreéieren déi nahtlos mat anere Systemer interagéiere kënnen.

GNU Prolog enthält och en effiziente Constraint Solver iwwer Finite Domains (FD). Dëst mécht Constraint Logik Programméierung fir Benotzer op andeems d'Kraaft vun der Constraint Programméierung mat der Deklarativitéit vu Logik Programméierung kombinéiert. Mat dëser Feature kënnen d'Benotzer hir Aschränkungen einfach definéieren ouni sech iwwer Syntaxfehler oder aner Themen ze këmmeren.

Déi virdefinéiert Aschränkungen enthalen arithmetesch Aschränkungen wéi Zousatz an Subtraktioun; Boolesch Aschränkungen wéi AN/ODER; symbolesch Aschränkungen wéi String passende; reifizéiert Aschränkungen déi Iech erlaben logesch Bedéngungen auszedrécken mat Boolschen Betreiber; virdefinéiert Enumeratiounsheuristik déi Iech hëllefen séier Léisungen ze fannen andeems Dir verschidde Méiglechkeeten systematesch exploréiert.

D'Benotzer kënnen och hir eege nei Aschränkungen definéieren mat einfache Kommandoen, déi vum GNU Prologue's Kommandozeil-Compiler zur Verfügung gestallt gëtt, deen eng Vielfalt vu Dateien akzeptéiert. Dëst mécht et einfach fir Entwéckler déi méi Kontroll iwwer d'Behuele vun hirem Programm wëllen oder spezifesch Funktionalitéit brauchen, déi net a pre-definéierte Bibliothéiken verfügbar ass.

Zesummegefaasst, wann Dir no engem mächtegen awer gratis Tool sicht dat Iech erlaabt komplex Programmer einfach ze kreéieren wärend Dir strikt un d'Industrienormen konform sidd, da kuckt net méi wäit wéi de GNU Prolog!