macOS
Homebrewverifiziert · 100%
brew install gnu-prologlocal Homebrew formula metadata
MacPortsverifiziert · 94%
sudo port install gprologMacPorts ports tree · lang/gprolog/Portfile · Quelle: api.github.com
brew
gnu-prolog mit Homebrew, apt, dnf, MacPorts, Nix installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für gnu-prolog in AI-Agent-Workflows.
Installation
Weitere Installationsbefehle
Linux
Debian aptverifiziert · 92%
sudo apt install gprologDebian stable package indexes · gprolog · Quelle: deb.debian.org
Fedora dnfverifiziert · 92%
sudo dnf install gprologFedora Rawhide package metadata · gprolog · Quelle: dl.fedoraproject.org
Nixverifiziert · 92%
nix profile install nixpkgs#gprolognixpkgs package indexes · pkgs/by-name/gp/gprolog/package.nix · Quelle: api.github.com
Überblick
Paketzusammenfassung
Prolog compiler with constraint solving
Projektlinks
Befehle und Aliase
- fd2c
- gplc
- gprolog
- hexgplc
- ma2asm
- pl2wam
- wam2ma
Verlauf
Projektgeschichte und Nutzung
GNU Prolog is Daniel Diaz's free Prolog compiler with finite-domain constraint solving. Its defining trait is native-code compilation to small standalone executables, alongside an interactive top-level and debugger.
Projektgeschichte
The official GNU Prolog site says development began in January 1996 under the name Calypso. The design drew from two earlier Diaz systems: wamcc, a Prolog-to-C compiler based on the Warren Abstract Machine, and clp(FD), a finite-domain constraint system built around a low-level primitive for defining higher-level constraints.
Adoptionsgeschichte
GNU Prolog occupies a practical niche among Prolog implementations: it emphasizes ISO Prolog compatibility, native executables, command-line compilation, C interoperability, and an integrated finite-domain solver. Those traits made it useful for logic-programming teaching, constraint examples, embeddable tools, and users who prefer a compiler-style workflow over a large image-based environment.
Wie es verwendet wird
Practitioners run gprolog for the interactive top-level and gplc to compile Prolog files, C files, WAM files, and related inputs into native programs. Constraint programmers use its FD predicates for arithmetic, Boolean, symbolic, and reified constraints, often paired with enumeration heuristics.
Warum Paket-Nerds sich dafür interessieren
GNU Prolog matters in package ecosystems because it is both a language runtime and a compiler toolchain: packages install several helper binaries, architecture support matters, and releases document low-level ports across Unix, macOS, Windows, ARM, and RISC-V targets.
Zeitleiste
- 1996: Development started in January under the name Calypso.
- 1999: Manual copyright years begin for GNU Prolog documentation.
- 2010: Diaz, Abreu, and Codognet published an implementation paper describing GNU Prolog's native compiler and FD solver.
- 2021: Version 1.5.0 notes record the move of the source repository to GitHub.
Related projects
- GNU Prolog is related to wamcc, clp(FD), the Warren Abstract Machine tradition, ISO Prolog systems, SWI-Prolog, and constraint-logic programming tools.
Quellen
Sicherheitslage
Risikostufe: grün
narrow executable package without higher-risk signals.
Risikoklassifikator
grün Risiko · niedrig Konfidenz · appliance
Warum
- narrow executable package without higher-risk signals
Signale
- metadata:no-higher-risk-signals
Installationsverhalten
- In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
- Homebrew-Bottle-Metadaten sind für 13 Plattformziele verfügbar.
Empfohlene Prüfung
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
Installierte Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
fd2c | cli | globales Executable | |
gplc | cli | globales Executable | |
gprolog | cli | globales Executable | |
hexgplc | cli | globales Executable | |
ma2asm | cli | globales Executable | |
pl2wam | cli | globales Executable | |
wam2ma | cli | globales Executable |
Aktualität
Version und Aktualität
Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.
Seite generiert2026-07-08
Manager-Version1.5.0
Manager aktualisiert
lokale DatenOK
Upstreamnot checked
neueste erkannte Versionnicht erkannt
- InfoNo package-manager update timestamp was available.niedrig Konfidenz
- InfoRelease/tag comparison is only available for GitHub repositories.http://www.gprolog.org/none Konfidenz
Installationsmetadaten
Paketmetadaten
| Paketschlüssel | brew:gnu-prolog |
|---|---|
| Version | 1.5.0 |
| Paketmanager | Homebrew |
| Paketmanager-Seite | https://formulae.brew.sh/formula/gnu-prolog |
| Homepage | http://www.gprolog.org/ |
| Repository | https://github.com/didoudiaz/gprolog |
| Upstream-Dokumentation | https://www.gprolog.org/manual/gprolog.html |
| Lizenz | LGPL-3.0-or-later OR GPL-2.0-or-later |
| Quellarchiv | https://ftpmirror.gnu.org/gnu/gprolog/gprolog-1.5.0.tar.gz |
| Bottle | verfügbar (auf arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura, x86_64_linux) |
| Homebrew post-install | nicht definiert |
| Dienst | keiner deklariert |
Registry-Fakten
Details aus der Quelldatenbank
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | gnu-prolog |
| Version Scheme | 0 |
| Revision | 0 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
Source-Datenbank-Treffer
Andere Paketmanager-Einträge
Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.
MacPorts94%
gprolog
sudo port install gprolog- installed executable or alias match
- Abgeglichen nach: Gprolog
Debian apt92%
gprolog 1.4.5.0-3
GNU Prolog compiler
sudo apt install gprolog- Section: devel
- Architecture: amd64
- 1 Abhängigkeiten
- 1 optionale Abhängigkeiten
- installed executable or alias match
- Abgeglichen nach: Gprolog
Debian apt92%
gprolog-doc 1.4.5.0-3
documentation for the GNU Prolog compiler
sudo apt install gprolog-doc- Section: doc
- Architecture: all
- Source Package: gprolog
- 2 optionale Abhängigkeiten
- installed executable or alias match
- Abgeglichen nach: Gprolog
Nix92%
gprolog
nix profile install nixpkgs#gprolog- installed executable or alias match
- Abgeglichen nach: Gprolog
Ubuntu apt92%
gprolog 1.4.5.0-3
GNU Prolog compiler
sudo apt install gprolog- Section: universe/devel
- Architecture: amd64
- 1 Abhängigkeiten
- 1 optionale Abhängigkeiten
- installed executable or alias match
- Abgeglichen nach: Gprolog
Ubuntu apt92%
gprolog-doc 1.4.5.0-3
documentation for the GNU Prolog compiler
sudo apt install gprolog-doc- Section: universe/doc
- Architecture: all
- Source Package: gprolog
- 2 optionale Abhängigkeiten
- installed executable or alias match
- Abgeglichen nach: Gprolog
dnf92%
gprolog 1.5.0-15.fc43
GNU Prolog is a free Prolog compiler
sudo dnf install gprolog- License: LGPL-3.0-or-later OR GPL-2.0-or-later
- Category: Unspecified
- Architecture: x86_64
- Source Package: gprolog
- 3 Abhängigkeiten
- 2 stellt bereit
- installed executable or alias match
- Abgeglichen nach: Gprolog
dnf92%
gprolog-docs 1.5.0-15.fc43
Documentation for GNU Prolog
sudo dnf install gprolog-docs- License: LGPL-3.0-or-later OR GPL-2.0-or-later
- Category: Unspecified
- Architecture: x86_64
- Source Package: gprolog
- 1 Abhängigkeiten
- 1 stellt bereit
- installed executable or alias match
- Abgeglichen nach: Gprolog
Quellspur
Aus Repository-Daten generiert
Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.
Combined YAML source
View the package source record on GitHub.
Verwendete Quellen
- Geiger risk classifier
- Nucleus package database
- av.db category and tag curation
- cross-ecosystem install command graph
- curated package history
- external package-manager database matches
- package relationship graph
- package version freshness
- package-page enrichment