GNU Prolog (32-bit) 1.4.3

GNU Prolog (32-Bit) ist ein leistungsstarker und kostenloser Prolog-Compiler, der Constraint-Solving über endliche Domänen bietet. Diese Software wurde für Entwickler entwickelt, die komplexe Programme mit Leichtigkeit erstellen müssen. GNU Prolog akzeptiert Prolog mit Constraint-Programmen und erzeugt native Binärdateien, genau wie gcc es aus einer C-Quelle macht. Die erhaltene ausführbare Datei ist dann eigenständig, was bedeutet, dass sie auf jedem Computer ausgeführt werden kann, ohne dass zusätzliche Software oder Bibliotheken erforderlich sind.

Einer der bedeutendsten Vorteile von GNU Prolog ist seine geringe Größe. Da diese Software das Verknüpfen des Codes der meisten nicht verwendeten integrierten Prädikate vermeiden kann, kann die Größe der ausführbaren Datei sehr klein sein. Dies macht es ideal für Entwickler, die leichte Anwendungen erstellen möchten, die nicht zu viel Platz auf den Computern der Benutzer beanspruchen.

Die Leistungen von GNU Prolog sind ebenfalls sehr ermutigend und vergleichbar mit kommerziellen Systemen. Das bedeutet, dass Sie sich darauf verlassen können, dass diese Software bei jeder Verwendung schnelle und effiziente Ergebnisse liefert.

Neben der nativen Code-Kompilierung bietet GNU Prolog einen klassischen Interpreter (Top-Level) mit einem Debugger. Mit dem Interpreter können Sie Ihren Code interaktiv testen und alle Probleme beheben, die während der Entwicklung auftreten.

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). Das bedeutet, dass Sie sich darauf verlassen können, dass diese Software bei jeder Verwendung zuverlässige Ergebnisse liefert.

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.

Merkmale:

- Entspricht dem ISO-Standard für Prolog

- Zeilenbearbeitungsfunktion unter interaktivem Interpreter mit Vervollständigung von Atomen

- Bidirektionale Schnittstelle zwischen Prolog und C

- Nativer Code-Compiler, der eigenständige ausführbare Dateien erstellt

- Einfacher Befehlszeilen-Compiler, der verschiedene Dateien akzeptiert

- Vordefinierte Einschränkungen: arithmetische Einschränkungen, boolesche Einschränkungen, symbolische Einschränkungen, reifizierte Einschränkungen.

- Vordefinierte Aufzählungsheuristiken.

- Benutzerdefinierte neue Einschränkungen

In Summe:

Wenn Sie nach einem leistungsstarken und dennoch kostenlosen Prolog-Compiler mit Constraint-Lösung über endliche Domänen suchen, dann suchen Sie nicht weiter als GNU Prolog 32-Bit! Mit seiner geringen Größe und dennoch beeindruckenden Leistungsfähigkeiten, gepaart mit einer intuitiven Benutzeroberfläche, ist dieses Programm nicht nur für Anfänger, sondern auch für erfahrene Programmierer perfekt!