Quellcode-Paket gprolog herunterladen:
GNU Prolog ist ein freier Prolog-Compiler mit Lösungen von Zwangsbedingungen über endliche Definitionsbereiche (engl. finite Domains, FD) entwickelt bei INRIA von Daniel Diaz. GNU Prolog basiert auf zwei Systementwicklungen des selben Autors (mit viel neugeschriebenem Code und einer Menge Erweiterungen): wamcc und clp (FD). Eine Menge Arbeit wurde der ISO-Kompatibilität gewidmet, ihre vollständige Einhaltung ist eines der Ziele.
Dieses Paket enthält das Compiler- und Laufzeitsystem für die ISO-Standardversion von GNU Prolog.
|
|
|
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| alpha | 1.969,9 kB | 7648 kB | [Liste der Dateien] |
| i386 | 1.210,5 kB | 3664 kB | [Liste der Dateien] |
| powerpc | 1.431,9 kB | 4168 kB | [Liste der Dateien] |
| sparc | 1.327,2 kB | 4052 kB | [Liste der Dateien] |