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 / Rang 5336
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
- Es wurden keine Homebrew-Bottle-Metadaten erfasst.
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 | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
gplc | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
gprolog | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
hexgplc | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
ma2asm | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
pl2wam | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
wam2ma | Executable | indexiertes Executable | Aus dem lokalen Executable-Index erkannt. |
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-08-03
Manager-Version1.5.0
Manager aktualisiert
lokale Datenunbekannt
Upstreamnicht verfügbar
neueste erkannte Versionnicht erkannt
- OKEs wurden keine Aktualitätswarnungen generiert.
Installationsmetadaten
Paketmetadaten
| Paketschlüssel | brew:gnu-prolog |
|---|---|
| Version | 1.5.0 |
| Paketmanager | Homebrew |
| Homepage | http://www.gprolog.org/ |
| Bottle | nicht erfasst |
| Dienst | keiner deklariert |
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-18.fc45
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
- 4 Abhängigkeiten
- 2 stellt bereit
- installed executable or alias match
- Abgeglichen nach: Gprolog
dnf92%
gprolog-docs 1.5.0-18.fc45
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
- cross-ecosystem install command graph
- curated package history
- external package-manager database matches
- pkg.so package database
- pkgdb category and tag curation