# 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 ```sh sudo av install brew:gnu-prolog ``` Weitere Installationsbefehle: ### macOS - Homebrew (100%): ```sh brew install gnu-prolog ``` Evidenz: local Homebrew formula metadata - MacPorts (94%): ```sh sudo port install gprolog ``` Evidenz: MacPorts ports tree: lang/gprolog/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 ### Linux - Debian apt (92%): ```sh sudo apt install gprolog ``` Evidenz: Debian stable package indexes: gprolog from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz - dnf (92%): ```sh sudo dnf install gprolog ``` Evidenz: Fedora Rawhide package metadata: gprolog from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst - Nix (92%): ```sh nix profile install nixpkgs#gprolog ``` Evidenz: nixpkgs package indexes: pkgs/by-name/gp/gprolog/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 ## Paketfakten - **Paketschlüssel:** brew:gnu-prolog - **Paketmanager:** Homebrew - **Paketmanager-Seite:** - **Version:** 1.5.0 - **Quellzusammenfassung:** Prolog compiler with constraint solving - **Homepage:** - **Repository:** - **Upstream-Dokumentation:** - **Lizenz:** LGPL-3.0-or-later OR GPL-2.0-or-later - **Quellarchiv:** - **Generiert:** 2026-07-08T18:08:21+00:00 ## Executables - fd2c (cli) - gplc (cli) - gprolog (cli) - hexgplc (cli) - ma2asm (cli) - pl2wam (cli) - wam2ma (cli) - fd2c (Alias) - gplc (Alias) - gprolog (Alias) - hexgplc (Alias) - ma2asm (Alias) - pl2wam (Alias) - wam2ma (Alias) ## Installationsverhalten - Post-install-Hook: nicht definiert - 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 ## Version und Aktualität - Seite generiert: 2026-07-08 - Manager-Version: 1.5.0 - lokale Daten: OK - Upstream-Repository: http://www.gprolog.org/ - Info: No package-manager update timestamp was available. - Info: Release/tag comparison is only available for GitHub repositories. ## 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 - - - - ## Sicherheitshinweise narrow executable package without higher-risk signals. - **Geiger-Risiko:** grün / niedrig - narrow executable package without higher-risk signals ## 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:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## Andere Paketmanager-Einträge - MacPorts - gprolog: installed executable or alias match | MacPorts ports tree: lang/gprolog/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 - Debian apt - gprolog - 1.4.5.0-3: installed executable or alias match | Debian stable package indexes: gprolog from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | GNU Prolog compiler | http://www.gprolog.org/ - Debian apt - gprolog-doc - 1.4.5.0-3: installed executable or alias match | Debian stable package indexes: gprolog-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | documentation for the GNU Prolog compiler | http://www.gprolog.org/ - Nix - gprolog: installed executable or alias match | nixpkgs package indexes: pkgs/by-name/gp/gprolog/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - Ubuntu apt - gprolog - 1.4.5.0-3: installed executable or alias match | Ubuntu 24.04 LTS package indexes: gprolog from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | GNU Prolog compiler | http://www.gprolog.org/ - Ubuntu apt - gprolog-doc - 1.4.5.0-3: installed executable or alias match | Ubuntu 24.04 LTS package indexes: gprolog-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | documentation for the GNU Prolog compiler | http://www.gprolog.org/ - dnf - gprolog - 1.5.0-15.fc43: installed executable or alias match | Fedora Rawhide package metadata: gprolog from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | GNU Prolog is a free Prolog compiler | http://www.gprolog.org - dnf - gprolog-docs - 1.5.0-15.fc43: installed executable or alias match | Fedora Rawhide package metadata: gprolog-docs from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | Documentation for GNU Prolog | http://www.gprolog.org ## Verwandte Links - [Terminal utility packages](https://www.automicvault.com/de/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Developer build packages](https://www.automicvault.com/de/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [Language runtime packages](https://www.automicvault.com/de/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata. - [Networking and protocol packages](https://www.automicvault.com/de/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [logtalk](https://www.automicvault.com/de/pkg/brew/logtalk/) - Popular package that depends on this formula. - [swi-prolog](https://www.automicvault.com/de/pkg/brew/swi-prolog/) - Shares av.db curated category or tags: cli, compiler, language-runtime, logic-programming, prolog. - [scryer-prolog](https://www.automicvault.com/de/pkg/brew/scryer-prolog/) - Shares av.db curated category or tags: cli, language-runtime, logic-programming, prolog. - [mercury](https://www.automicvault.com/de/pkg/brew/mercury/) - Shares av.db curated category or tags: cli, compiler, language-runtime, logic-programming. - [picat](https://www.automicvault.com/de/pkg/brew/picat/) - Shares av.db curated category or tags: cli, constraint-solving, language-runtime, logic-programming. - [abcl](https://www.automicvault.com/de/pkg/brew/abcl/) - Shares av.db curated category or tags: cli, compiler, language-runtime. - [algol68g](https://www.automicvault.com/de/pkg/brew/algol68g/) - Shares av.db curated category or tags: cli, compiler, language-runtime. - [ats2-postiats](https://www.automicvault.com/de/pkg/brew/ats2-postiats/) - Shares av.db curated category or tags: cli, compiler, language-runtime. ## Combined YAML source View the package source record on GitHub. [combined/gnu-prolog.yml](https://github.com/automic-vault/db/blob/main/combined/gnu-prolog.yml) ## Quellen - Nucleus package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - av.db category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph