Gnu Prolog. KOSTENLOSER PROLOG-Compiler mit Einschränkung, der über endliche Domänen löst
Jetzt downloaden

Gnu Prolog. Ranking & Zusammenfassung

Gnu Prolog. Stichworte

Gnu Prolog. Beschreibung

GNU PROGOG ist ein kostenloser Prolog-Compiler mit der Einschränkung, der über endliche Domänen löst. GNU Prolog akzeptiert Prolog-Constraint-Programme und erzeugt native Binärdateien (wie GCC tut aus einer C-Quelle). Die erhaltene ausführbare Datei ist dann alleinstehend. Die Größe dieser ausführbaren Ausführlichkeit kann ziemlich klein sein, da GNU PROGN vermeiden kann, den Code der ungenutzten eingebauten Prädikate zu verknüpfen. Die Aufführungen von GNU Prolog sind sehr ermutigend. Neben der einheimischen Kompilierung bietet GNU Prolog einen klassischen interaktiven Dolmetscher (oberste Ebene) mit einem Debugger. Das PROLOG-Teil entspricht dem ISO-Standard für Prolog mit vielen in der Praxis sehr nützlichen Erweiterungen. GNU Prolog umfasst auch einen effizienten Einschränkungslöser über endliche Domains (FD). Dies eröffnet eine praktische Logikprogrammierung an den Benutzer, der die Leistungsfähigkeit der CONSTRAINT-Programmierung in die Deklaration der Logikprogrammierung kombiniert.

Gnu Prolog. Zugehörige Software