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 / 順位 5336
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
インストール挙動
- Homebrew bottle メタデータは記録されていません。
推奨レビュー
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
インストールされる実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
fd2c | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
gplc | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
gprolog | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
hexgplc | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
ma2asm | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
pl2wam | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
wam2ma | 実行可能ファイル | インデックス済み実行可能ファイル | ローカル実行可能ファイルインデックスから検出されました。 |
鮮度
バージョンと鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
ページ生成日2026-08-03
マネージャ版1.5.0
マネージャ更新日
ローカルデータ不明
上流利用不可
検出された最新未検出
- OK鮮度警告は生成されていません。
インストールメタデータ
パッケージメタデータ
| パッケージキー | brew:gnu-prolog |
|---|---|
| バージョン | 1.5.0 |
| パッケージマネージャ | Homebrew |
| ホームページ | http://www.gprolog.org/ |
| Bottle | 未記録 |
| サービス | 宣言なし |
ソースデータベース一致
他のパッケージマネージャ記録
一致は外部パッケージマネージャインデックスから取得され、ローカルの 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-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 依存関係
- 2 提供
- installed executable or alias match
- 一致条件: 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 依存関係
- 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
- cross-ecosystem install command graph
- curated package history
- external package-manager database matches
- pkg.so package database
- pkgdb category and tag curation