GNU Prolog 1.5.0 konnte von der Webseite des Entwicklers heruntergeladen werden, als wir das letzte Mal gecheckt haben. Wir können nicht garantieren, dass der kostenlose Download verfügbar ist. Die unter den Benutzerinnen und Benutzern von GNU Prolog beliebtesten Versionen sind 1.4, 1.3 und 1.2.
Dieses kostenlose Programm wurde ursprünglich von Daniel Diaz entwickelt. Gprolog.exe ist der häufigste Installationsdateiname für dieses Programm.
GNU Prolog wurde für Windows XP, Windows Vista, Windows 7, Windows 8, Windows 10 oder Windows 11 entwickelt und ist mit 32-Bit- und 64-Bit-System kompatibel. Wir empfehlen Ihnen, die heruntergeladenen Dateien mit einem kostenlosen Antivirenprogramm zu überprüfen, da wir nicht garantieren können, dass sie sicher sind. Dieses Programm ist als "Programmierung" kategorisiert.
Vom Entwickler:
GNU Prolog ist ein kostenloser Prolog-Compiler mit der Lösung von Einschränkungen über endliche Domänen. GNU Prolog akzeptiert Prolog-Einschränkungsprogramme 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 recht klein sein, da GNU Prolog es vermeiden kann, den Code der meisten nicht verwendeten integrierten Prädikate zu verknüpfen.
Falls Sie nach mehr Softwares suchen, können Sie sich u.a. über solche Programme wie Visual Prolog, GNU Common Lisp oder Strawberry Prolog informieren, die an GNU Prolog ähnlich sein können.