macOS
Homebrew確認済み · 100%
brew install gnu-prologlocal Homebrew formula metadata
MacPorts確認済み · 94%
sudo port install gprologMacPorts ports tree · lang/gprolog/Portfile · ソース: api.github.com
brew
gnu-prolog を Homebrew, apt, dnf, MacPorts, Nix でインストール
gnu-prolog のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
追加のインストールコマンド
Linux
Debian apt確認済み · 92%
sudo apt install gprologDebian stable package indexes · gprolog · ソース: deb.debian.org
Fedora dnf確認済み · 92%
sudo dnf install gprologFedora Rawhide package metadata · gprolog · ソース: dl.fedoraproject.org
Nix確認済み · 92%
nix profile install nixpkgs#gprolognixpkgs package indexes · pkgs/by-name/gp/gprolog/package.nix · ソース: api.github.com
概要
パッケージ概要
Prolog compiler with constraint solving
プロジェクトリンク
コマンドとエイリアス
- fd2c
- gplc
- gprolog
- hexgplc
- ma2asm
- pl2wam
- wam2ma
履歴
プロジェクトの歴史と使われ方
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.
プロジェクトの歴史
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.
採用の歴史
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.
使われ方
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.
パッケージ好きにとっての重要性
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.
タイムライン
- 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.
ソース
セキュリティ状態
リスクレベル: グリーン
narrow executable package without higher-risk signals.
リスク分類器
リスク グリーン · 信頼度 低 · appliance
理由
- narrow executable package without higher-risk signals
信号
- metadata:no-higher-risk-signals
インストール挙動
- formula メタデータに Homebrew post-install フックは記録されていません。
- Homebrew bottle メタデータは 13 個のプラットフォームターゲットで利用できます。
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
fd2c | cli | グローバル実行可能ファイル | |
gplc | cli | グローバル実行可能ファイル | |
gprolog | cli | グローバル実行可能ファイル | |
hexgplc | cli | グローバル実行可能ファイル | |
ma2asm | cli | グローバル実行可能ファイル | |
pl2wam | cli | グローバル実行可能ファイル | |
wam2ma | cli | グローバル実行可能ファイル |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-07-08
マネージャ版1.5.0
マネージャ更新日
ローカルデータOK
上流not checked
検出された最新未検出
- 情報No package-manager update timestamp was available.信頼度 低
- 情報Release/tag comparison is only available for GitHub repositories.http://www.gprolog.org/信頼度 none
インストールメタデータ
パッケージメタデータ
| パッケージキー | brew:gnu-prolog |
|---|---|
| バージョン | 1.5.0 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/gnu-prolog |
| ホームページ | http://www.gprolog.org/ |
| リポジトリ | https://github.com/didoudiaz/gprolog |
| 上流ドキュメント | https://www.gprolog.org/manual/gprolog.html |
| ライセンス | LGPL-3.0-or-later OR GPL-2.0-or-later |
| ソースアーカイブ | https://ftpmirror.gnu.org/gnu/gprolog/gprolog-1.5.0.tar.gz |
| Bottle | 利用可能 (対象 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 | 未定義 |
| サービス | 宣言なし |
レジストリ情報
ソースデータベース詳細
| 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 |
|
ソースデータベース一致
他のパッケージマネージャ記録
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
MacPorts94%
gprolog
sudo port install gprolog- installed executable or alias match
- 一致条件: Gprolog
Debian apt92%
gprolog 1.4.5.0-3
GNU Prolog compiler
sudo apt install gprolog- Section: devel
- Architecture: amd64
- 1 依存関係
- 1 任意依存関係
- installed executable or alias match
- 一致条件: 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 任意依存関係
- installed executable or alias match
- 一致条件: Gprolog
Nix92%
gprolog
nix profile install nixpkgs#gprolog- installed executable or alias match
- 一致条件: Gprolog
Ubuntu apt92%
gprolog 1.4.5.0-3
GNU Prolog compiler
sudo apt install gprolog- Section: universe/devel
- Architecture: amd64
- 1 依存関係
- 1 任意依存関係
- installed executable or alias match
- 一致条件: 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 任意依存関係
- installed executable or alias match
- 一致条件: 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 依存関係
- 2 提供
- installed executable or alias match
- 一致条件: 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 依存関係
- 1 提供
- installed executable or alias match
- 一致条件: Gprolog
ソース経路
リポジトリデータから生成
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
Combined YAML source
View the package source record on GitHub.
使用ソース
- 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