GNU Prolog (32-Bit) Akzeptieren Sie Prolog mit Beschränkungen und kompilieren Sie über endliche Domains.
Jetzt downloaden

GNU Prolog (32-Bit) Ranking & Zusammenfassung

GNU Prolog (32-Bit) Stichworte

GNU Prolog (32-Bit) Beschreibung

GNU PROGOG ist ein kostenloser Prolog-Compiler mit der Einschränkung, der über endliche Domänen löst. GNU PROGOG akzeptiert Prolog mit CONSTRAINT-Programmen und erzeugt native Binärdateien (wie GCC aus einer C-Quelle). Die erhaltene ausführbare Datei ist dann alleinstehend. Die Größe dieser ausführbaren Ausführlichkeit kann klein sein, da GNU Prolog vermeiden kann, den Code der ungenutzten eingebauten Prädikate zu verknüpfen. Die Leistungen von GNU Prolog sind sehr ermutigend (vergleichbar mit kommerziellen Systemen). Neben der einheimischen Kompilierung bietet GNU Prolog einen klassischen Interpreter (oberste Ebene) mit einem Debugger. Das PROLlog-Teil entspricht dem ISO-Standard für Prolog mit vielen in der Praxis sehr nützlichen Erweiterungen (globale Variablen, OS-Schnittstelle und Sockel). GNU Prolog umfasst auch einen effizienten Einschränkungslöser über endliche Domains (FD). Dies öffnet die CONSTRAINT-Logik-Programmierung an den Benutzer, der die Leistungsfähigkeit der CONSTRAINT-Programmierung an die Deklaration der Logikprogrammierung kombiniert. Zu den Funktionen gehören Anpasst an den ISO-Standard für PROLOG, Line-Bearbeitungseinrichtung unter dem interaktiven Dolmetscher mit Fertigstellung von Atomen, bidirektionaler Schnittstelle zwischen Prolog und C, Native-Code-Compiler, der Stand-Alone-Ausführungen, einfache Befehlszeilen-Compiler erzeugt, akzeptiert eine Vielzahl von Dateien, die eine Vielzahl von Dateien akzeptiert, vordefiniert Einschränkungen: arithmetische Beschränkungen, boolesche Einschränkungen, symbolische Einschränkungen und nachteilige Beschränkungen, vordefinierte Aufzählungserfahrer und Benutzer können seine eigenen neuen Einschränkungen definieren.

GNU Prolog (32-Bit) Zugehörige Software