GNU Prolog (64-bit)

Beschreibung

GNU Prolog ist ein kostenloser Prolog-Compiler mit Constraint-Solving über endliche Domänen. GNU Prolog akzeptiert Prolog mit Constraint-Programmen und erzeugt native Binärdateien (wie es gcc aus einer C-Quelle tut). Die erhaltene ausführbare Datei ist dann eigenständig. Die Größe dieser ausführbaren Datei kann klein sein, da GNU Prolog vermeiden kann, den Code der meisten unbenutzten eingebauten Prädikate zu verknüpfen. Die Leistungen von GNU Prolog sind sehr ermutigend (vergleichbar mit kommerziellen Systemen). Neben der nativen Code-Kompilierung bietet GNU Prolog einen klassischen Interpreter (Top-Level) mit einem Debugger.

Der Prolog-Teil entspricht dem ISO-Standard für Prolog mit vielen in der Praxis sehr nützlichen Erweiterungen (globale Variablen, OS-Schnittstelle und Sockets). GNU Prolog enthält auch einen effizienten Constraint-Solver über Finite Domains (FD). Dies öffnet dem Benutzer die Einschränkungslogikprogrammierung, indem die Leistungsfähigkeit der Einschränkungsprogrammierung mit der Deklarativität der Logikprogrammierung kombiniert wird. Zu den Funktionen gehören Konformität mit dem ISO-Standard für Prolog, Zeilenbearbeitungsfunktion unter dem interaktiven Interpreter mit Vervollständigung von Atomen, bidirektionale Schnittstelle zwischen Prolog und C, nativer Code-Compiler, der eigenständige ausführbare Dateien erzeugt, einfacher Befehlszeilen-Compiler, der eine Vielzahl von Dateien akzeptiert, vordefiniert Beschränkungen: arithmetische Beschränkungen, boolesche Beschränkungen, symbolische Beschränkungen und verdinglichte Beschränkungen, vordefinierte Aufzählungsheuristiken, und der Benutzer kann seine eigenen neuen Beschränkungen definieren.