GNU Prolog (64-bit)

Beschreiwung

GNU Prolog ass e gratis Prolog Compiler mat Beschränkungsléisung iwwer endlech Domainen. GNU Prolog akzeptéiert Prolog mat Constraint Programmer a produzéiert gebierteg Binären (wéi gcc aus enger C Quell mécht). De kritt ausführbar ass dann stand-alone. D'Gréisst vun dësem ausführbar ka kleng sinn, well GNU Prolog vermeide kann de Code vun de meescht onbenotzten agebaute Prädikate verbannen. 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.

De Prolog Deel entsprécht dem ISO Standard fir Prolog mat villen Extensiounen ganz nëtzlech an der Praxis (global Variablen, OS Interface, a Sockets). GNU Prolog enthält och en effiziente Constraint Solver iwwer Finite Domains (FD). Dëst mécht Constraint Logik Programméiere fir de Benotzer d'Kraaft vun der Constraint Programméierung mat der Deklarativitéit vun der Logik Programméierung. Features enthalen entspriechend dem ISO Standard fir Prolog, Linn Redaktioun Ariichtung ënner dem interaktiven Dolmetscher mat Fäerdegstellung op Atomer, bidirektional Interface tëscht Prolog a C, gebierteg Code Compiler produzéiert Stand-alone Ausführbaren, einfache Kommandozeil Compiler akzeptéiert eng Vielfalt vu Dateien, virdefinéiert Aschränkungen: arithmetesch Aschränkungen, Boolesch Aschränkungen, symbolesch Aschränkungen a reifizéiert Aschränkungen, virdefinéiert Opzielungsheuristik, an de Benotzer kann seng eege nei Aschränkungen definéieren.