macOS
Homebrewvérifié · 100%
brew install gnu-prologlocal Homebrew formula metadata
MacPortsvérifié · 94%
sudo port install gprologMacPorts ports tree · lang/gprolog/Portfile · Source: api.github.com
brew / rang 5336
Installer gnu-prolog avec Homebrew, apt, dnf, MacPorts, Nix
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de gnu-prolog pour les workflows d'agents IA.
installation
Commandes d'installation supplémentaires
Linux
Debian aptvérifié · 92%
sudo apt install gprologDebian stable package indexes · gprolog · Source: deb.debian.org
Fedora dnfvérifié · 92%
sudo dnf install gprologFedora Rawhide package metadata · gprolog · Source: dl.fedoraproject.org
Nixvérifié · 92%
nix profile install nixpkgs#gprolognixpkgs 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
- Aucune métadonnée de bottle Homebrew n’a été enregistrée.
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 | Note |
|---|---|---|---|
fd2c | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
gplc | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
gprolog | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
hexgplc | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
ma2asm | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
pl2wam | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
wam2ma | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
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-08-03
version du gestionnaire1.5.0
gestionnaire mis à jour
données localesinconnu
amontnon disponible
dernière version détectéenon détecté
- OKAucun avertissement de fraîcheur n'a été généré.
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 d'accueil | http://www.gprolog.org/ |
| Bouteille | non enregistré |
| Service | aucun déclaré |
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
Debian apt92%
gprolog 1.4.5.0-3
GNU Prolog compiler
sudo apt install gprolog- Section: devel
- Architecture: amd64
- 1 Dépendances
- 1 dépendances optionnelles
- installed executable or alias match
- Correspondance par : 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 dépendances optionnelles
- installed executable or alias match
- Correspondance par : Gprolog
Nix92%
gprolog
nix profile install nixpkgs#gprolog- installed executable or alias match
- Correspondance par : Gprolog
Ubuntu apt92%
gprolog 1.4.5.0-3
GNU Prolog compiler
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 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 dépendances optionnelles
- installed executable or alias match
- Correspondance par : 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 Dépendances
- 2 fournit
- installed executable or alias match
- Correspondance par : 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 Dépendances
- 1 fournit
- installed executable or alias match
- Correspondance par : Gprolog
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.
Sources utilisées
- 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