GNU Prolog ist eine kostenlose Prolog-Compiler mit Einschränkung der Lösung über endlichen Domänen. GNU Prolog akzeptiert Prolog mit Constraint-Programmen und produziert natives Binärdateien (wie gcc aus einer C-Quelle). Das erhaltene ausführbare wird dann eigenständige. Die Größe dieses ausführbare Datei kann klein sein, da GNU Prolog vermeiden verbindet den Code der meisten ungenutzten eingebauten Prädikate. Die Leistungen der GNU Prolog sind sehr ermutigend (vergleichbar mit kommerziellen Systemen). Neben der Mutter Codekompilierung bietet GNU Prolog eine klassische Interpreter (Top-Level) mit einem Debugger.
Der Prolog Teil entspricht dem ISO-Standard für Prolog mit vielen Erweiterungen sehr nützlich in der Praxis (globale Variablen, OS-Schnittstelle und Buchsen). GNU Prolog enthält auch einen effizienten Constraint-Solver über Finite-Domänen (FD). Dies eröffnet Einschränkung Logikprogrammierung für den Benutzer die Kombination der Leistung von Constraint-Programmierung mit dem Deklarativität der Logikprogrammierung. Zur Ausstattung gehören Konformität mit dem ISO-Standard für Prolog, Zeilenbearbeitung Fazilität im Rahmen des interaktiven Interpreter mit Abschluss auf Atome, bidirektionale Schnittstelle zwischen Prolog und C Compiler für nativen Code Produktion stand alone ausführbare Dateien, einfaches Kommandozeilen-Compiler zu akzeptieren eine Vielzahl von Dateien, vordefinierte Einschränkungen:. arithmetische Constraints, Boolean Einschränkungen symbolische Constraints und verdinglicht Einschränkungen vordefinierte Aufzählung Heuristiken und Benutzer kann seine eigene neue Einschränkungen definieren
Kommentare nicht gefunden