installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%

brew install gnu-prolog

local Homebrew formula metadata

MacPortsvérifié · 94%

sudo port install gprolog

MacPorts ports tree · lang/gprolog/Portfile · Source: api.github.com

Linux

Debian aptvérifié · 92%

sudo apt install gprolog

Debian stable package indexes · gprolog · Source: deb.debian.org

Fedora dnfvérifié · 92%

sudo dnf install gprolog

Fedora Rawhide package metadata · gprolog · Source: dl.fedoraproject.org

Nixvérifié · 92%

nix profile install nixpkgs#gprolog

nixpkgs package indexes · pkgs/by-name/gp/gprolog/package.nix · Source: api.github.com

aperçu

Résumé du paquet

Prolog compiler with constraint solving

Liens du projet

Commandes et alias

fd2c
gplc
gprolog
hexgplc
ma2asm
pl2wam
wam2ma

historique

Historique du projet et usages

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.

Historique du projet

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.

Historique d'adoption

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.

Modes d'utilisation

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.

Pourquoi les passionnés de paquets s'y intéressent

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.

Chronologie

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

posture de sécurité

Niveau de risque : vert

narrow executable package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

narrow executable package without higher-risk signals

Signaux

metadata:no-higher-risk-signals

Comportement d'installation

Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
Les métadonnées de bottle Homebrew sont disponibles pour 13 plateformes.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

Commande	Type	Exposition
`fd2c`	cli	exécutable global
`gplc`	cli	exécutable global
`gprolog`	cli	exécutable global
`hexgplc`	cli	exécutable global
`ma2asm`	cli	exécutable global
`pl2wam`	cli	exécutable global
`wam2ma`	cli	exécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-07-08

version du gestionnaire1.5.0

gestionnaire mis à jour

données localesOK

amontnot checked

dernière version détectéenon détecté

http://www.gprolog.org/

infoNo package-manager update timestamp was available.confiance faible
infoRelease/tag comparison is only available for GitHub repositories.http://www.gprolog.org/confiance none

métadonnées d'installation

Métadonnées du paquet

Clé du paquet	brew:gnu-prolog
Version	1.5.0
Gestionnaire de paquets	Homebrew
Page du gestionnaire de paquets	https://formulae.brew.sh/formula/gnu-prolog
Page d'accueil	http://www.gprolog.org/
Dépôt	https://github.com/didoudiaz/gprolog
Docs amont	https://www.gprolog.org/manual/gprolog.html
Licence	LGPL-3.0-or-later OR GPL-2.0-or-later
Archive source	https://ftpmirror.gnu.org/gnu/gprolog/gprolog-1.5.0.tar.gz
Bouteille	disponible (sur arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura, x86_64_linux)
post-install Homebrew	non défini
Service	aucun déclaré

faits du registre

Détails de la base source

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	stable

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

MacPorts94%

gprolog

sudo port install gprolog

installed executable or alias match
Correspondance par : Gprolog

MacPorts ports tree · api.github.com · MacPorts ports tree: lang/gprolog/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

Debian apt92%

gprolog 1.4.5.0-3

GNU Prolog compiler

http://www.gprolog.org/

sudo apt install gprolog

Section: devel
Architecture: amd64
1 Dépendances
1 dépendances optionnelles
installed executable or alias match
Correspondance par : Gprolog

Debian stable package indexes · deb.debian.org · Debian stable package indexes: gprolog from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Debian apt92%

gprolog-doc 1.4.5.0-3

documentation for the GNU Prolog compiler

http://www.gprolog.org/

sudo apt install gprolog-doc

Section: doc
Architecture: all
Source Package: gprolog
2 dépendances optionnelles
installed executable or alias match
Correspondance par : Gprolog

Debian stable package indexes · deb.debian.org · Debian stable package indexes: gprolog-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

Nix92%

gprolog

nix profile install nixpkgs#gprolog

installed executable or alias match
Correspondance par : Gprolog

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/gp/gprolog/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

Ubuntu apt92%

gprolog 1.4.5.0-3

GNU Prolog compiler

http://www.gprolog.org/

sudo apt install gprolog

Section: universe/devel
Architecture: amd64
1 Dépendances
1 dépendances optionnelles
installed executable or alias match
Correspondance par : Gprolog

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: gprolog from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

Ubuntu apt92%

gprolog-doc 1.4.5.0-3

documentation for the GNU Prolog compiler

http://www.gprolog.org/

sudo apt install gprolog-doc

Section: universe/doc
Architecture: all
Source Package: gprolog
2 dépendances optionnelles
installed executable or alias match
Correspondance par : Gprolog

Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: gprolog-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz

dnf92%

gprolog 1.5.0-15.fc43

GNU Prolog is a free Prolog compiler

http://www.gprolog.org

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 Dépendances
2 fournit
installed executable or alias match
Correspondance par : Gprolog

Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: gprolog from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst

dnf92%

gprolog-docs 1.5.0-15.fc43

Documentation for GNU Prolog

http://www.gprolog.org

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 Dépendances
1 fournit
installed executable or alias match
Correspondance par : Gprolog

Fedora Rawhide package metadata · dl.fedoraproject.org · 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

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Combined YAML source

View the package source record on GitHub.

combined/gnu-prolog.yml

Sources utilisées

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

Installer gnu-prolog avec Homebrew, apt, dnf, MacPorts, Nix

Commandes d'installation supplémentaires

macOS

Linux

Résumé du paquet

Liens du projet

Commandes et alias

Historique du projet et usages

Historique du projet

Historique d'adoption

Modes d'utilisation

Pourquoi les passionnés de paquets s'y intéressent

Chronologie

Related projects

Sources

Niveau de risque : vert

Classificateur de risque

Pourquoi

Signaux

Comportement d'installation

Revue recommandée

Exécutables installés

Version et fraîcheur

Métadonnées du paquet

Détails de la base source

Autres enregistrements de gestionnaires de paquets

Liens internes de paquets

Hubs thématiques

Outils liés

Même workflow

Guides de sécurité des agents

Généré depuis les données du dépôt

Combined YAML source

Sources utilisées