# gnu-prolog を Homebrew, apt, dnf, MacPorts, Nix でインストール

gnu-prolog のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

## インストール

```sh
sudo av install brew:gnu-prolog
```

追加のインストールコマンド:

### macOS

- Homebrew (100%):

```sh
brew install gnu-prolog
```

  証拠: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install gprolog
```

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

### Linux

- Debian apt (92%):

```sh
sudo apt install gprolog
```

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

- dnf (92%):

```sh
sudo dnf install gprolog
```

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

- Nix (92%):

```sh
nix profile install nixpkgs#gprolog
```

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

## パッケージ情報

- **パッケージキー:** brew:gnu-prolog
- **パッケージマネージャ:** Homebrew
- **パッケージマネージャページ:** <https://formulae.brew.sh/formula/gnu-prolog>
- **バージョン:** 1.5.0
- **ソース概要:** Prolog compiler with constraint solving
- **ホームページ:** <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>
- **生成日時:** 2026-07-08T18:08:21+00:00

## 実行可能ファイル

- fd2c (cli)
- gplc (cli)
- gprolog (cli)
- hexgplc (cli)
- ma2asm (cli)
- pl2wam (cli)
- wam2ma (cli)
- fd2c (エイリアス)
- gplc (エイリアス)
- gprolog (エイリアス)
- hexgplc (エイリアス)
- ma2asm (エイリアス)
- pl2wam (エイリアス)
- wam2ma (エイリアス)

## インストール挙動

- post-install フック: 未定義
- Bottle: 利用可能 対象 arm64_big_sur, arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, big_sur, catalina, monterey, sonoma, ventura

## バージョンと鮮度

- ページ生成日: 2026-07-08
- マネージャ版: 1.5.0
- ローカルデータ: OK
- 上流リポジトリ: http://www.gprolog.org/
- 情報: No package-manager update timestamp was available.
- 情報: Release/tag comparison is only available for GitHub repositories.
## プロジェクトの歴史と使われ方

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.

### ソース

- <http://www.gprolog.org/>
- <https://arxiv.org/abs/1012.2496>
- <https://github.com/didoudiaz/gprolog>
- <https://www.gprolog.org/manual/gprolog.html>


## セキュリティノート

narrow executable package without higher-risk signals.

- **Geiger リスク:** グリーン / 低
- narrow executable package without higher-risk signals

## ソースデータベース詳細

- **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

## 他のパッケージマネージャ記録

- MacPorts - gprolog: installed executable or alias match | MacPorts ports tree: lang/gprolog/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
- Debian apt - gprolog - 1.4.5.0-3: installed executable or alias match | Debian stable package indexes: gprolog from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | GNU Prolog compiler | http://www.gprolog.org/
- Debian apt - gprolog-doc - 1.4.5.0-3: installed executable or alias match | Debian stable package indexes: gprolog-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | documentation for the GNU Prolog compiler | http://www.gprolog.org/
- Nix - gprolog: installed executable or alias match | nixpkgs package indexes: pkgs/by-name/gp/gprolog/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- Ubuntu apt - gprolog - 1.4.5.0-3: installed executable or alias match | Ubuntu 24.04 LTS package indexes: gprolog from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | GNU Prolog compiler | http://www.gprolog.org/
- Ubuntu apt - gprolog-doc - 1.4.5.0-3: installed executable or alias match | Ubuntu 24.04 LTS package indexes: gprolog-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | documentation for the GNU Prolog compiler | http://www.gprolog.org/
- dnf - gprolog - 1.5.0-15.fc43: installed executable or alias match | Fedora Rawhide package metadata: gprolog from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | GNU Prolog is a free Prolog compiler | http://www.gprolog.org
- dnf - gprolog-docs - 1.5.0-15.fc43: installed executable or alias match | 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 | Documentation for GNU Prolog | http://www.gprolog.org


## 関連リンク

- [Terminal utility packages](https://www.automicvault.com/ja/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Developer build packages](https://www.automicvault.com/ja/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [Language runtime packages](https://www.automicvault.com/ja/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata.
- [Networking and protocol packages](https://www.automicvault.com/ja/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [logtalk](https://www.automicvault.com/ja/pkg/brew/logtalk/) - Popular package that depends on this formula.
- [swi-prolog](https://www.automicvault.com/ja/pkg/brew/swi-prolog/) - Shares av.db curated category or tags: cli, compiler, language-runtime, logic-programming, prolog.
- [scryer-prolog](https://www.automicvault.com/ja/pkg/brew/scryer-prolog/) - Shares av.db curated category or tags: cli, language-runtime, logic-programming, prolog.
- [mercury](https://www.automicvault.com/ja/pkg/brew/mercury/) - Shares av.db curated category or tags: cli, compiler, language-runtime, logic-programming.
- [picat](https://www.automicvault.com/ja/pkg/brew/picat/) - Shares av.db curated category or tags: cli, constraint-solving, language-runtime, logic-programming.
- [abcl](https://www.automicvault.com/ja/pkg/brew/abcl/) - Shares av.db curated category or tags: cli, compiler, language-runtime.
- [algol68g](https://www.automicvault.com/ja/pkg/brew/algol68g/) - Shares av.db curated category or tags: cli, compiler, language-runtime.
- [ats2-postiats](https://www.automicvault.com/ja/pkg/brew/ats2-postiats/) - Shares av.db curated category or tags: cli, compiler, language-runtime.

## Combined YAML source

View the package source record on GitHub. [combined/gnu-prolog.yml](https://github.com/automic-vault/db/blob/main/combined/gnu-prolog.yml)


## ソース

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- curated package history
- package version freshness
- av.db category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph