macOS
Homebrewverified · 100%
brew install gnu-prologlocal Homebrew formula metadata
MacPortsverified · 94%
sudo port install gprologMacPorts ports tree · lang/gprolog/Portfile · source: api.github.com
brew
Install gnu-prolog with Homebrew, apt, dnf, MacPorts, Nix
Prolog compiler with constraint solving. Version 1.5.0 via Homebrew; verified from local package data.
install
Additional install commands
Linux
Debian aptverified · 92%
sudo apt install gprologDebian stable package indexes · gprolog · source: deb.debian.org
Fedora dnfverified · 92%
sudo dnf install gprologFedora Rawhide package metadata · gprolog · source: dl.fedoraproject.org
Nixverified · 92%
nix profile install nixpkgs#gprolognixpkgs package indexes · pkgs/by-name/gp/gprolog/package.nix · source: api.github.com
overview
Package summary
Prolog compiler with constraint solving
Project links
Commands and aliases
- fd2c
- gplc
- gprolog
- hexgplc
- ma2asm
- pl2wam
- wam2ma
history
Project history and usage
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.
Project history
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.
Adoption history
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.
How it is used
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.
Why package nerds care
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.
Timeline
- 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.
Sources
security posture
Risk level: green
narrow executable package without higher-risk signals.
Risk classifier
green risk · low confidence · appliance
Why
- narrow executable package without higher-risk signals
Signals
- metadata:no-higher-risk-signals
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 13 platform targets.
Recommended review
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
Installed executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
fd2c | cli | global executable | |
gplc | cli | global executable | |
gprolog | cli | global executable | |
hexgplc | cli | global executable | |
ma2asm | cli | global executable | |
pl2wam | cli | global executable | |
wam2ma | cli | global executable |
freshness
Version and freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
page generated2026-07-08
manager version1.5.0
manager updated
local dataok
upstreamnot checked
latest detectednot detected
- infoNo package-manager update timestamp was available.low confidence
- infoRelease/tag comparison is only available for GitHub repositories.http://www.gprolog.org/none confidence
install metadata
Package metadata
| Package key | brew:gnu-prolog |
|---|---|
| Version | 1.5.0 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/gnu-prolog |
| Homepage | http://www.gprolog.org/ |
| Repository | https://github.com/didoudiaz/gprolog |
| Upstream docs | https://www.gprolog.org/manual/gprolog.html |
| License | LGPL-3.0-or-later OR GPL-2.0-or-later |
| Source archive | https://ftpmirror.gnu.org/gnu/gprolog/gprolog-1.5.0.tar.gz |
| Bottle | available (on 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 | not defined |
| Service | none declared |
registry facts
Source database details
| 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 database matches
Other package-manager records
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
MacPorts94%
gprolog
sudo port install gprolog- installed executable or alias match
- Matched by: Gprolog
Debian apt92%
gprolog 1.4.5.0-3
GNU Prolog compiler
sudo apt install gprolog- Section: devel
- Architecture: amd64
- 1 dependencies
- 1 optional deps
- installed executable or alias match
- Matched by: 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 optional deps
- installed executable or alias match
- Matched by: Gprolog
Nix92%
gprolog
nix profile install nixpkgs#gprolog- installed executable or alias match
- Matched by: Gprolog
Ubuntu apt92%
gprolog 1.4.5.0-3
GNU Prolog compiler
sudo apt install gprolog- Section: universe/devel
- Architecture: amd64
- 1 dependencies
- 1 optional deps
- installed executable or alias match
- Matched by: 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 optional deps
- installed executable or alias match
- Matched by: 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 dependencies
- 2 provides
- installed executable or alias match
- Matched by: 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 dependencies
- 1 provides
- installed executable or alias match
- Matched by: Gprolog
source trail
Generated from repository data
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Used sources
- 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