brew

使用 Homebrew, apk, chocolatey, apt, dnf, MacPorts, Nix, pacman, winget, zypper, scoop 安装 swi-prolog

查看 swi-prolog 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

安装命令安全说明

安装

其他安装命令

macOS

Homebrew已验证 · 100%

brew install swi-prolog

local Homebrew formula metadata

MacPorts已验证 · 94%

sudo port install swi-prolog

MacPorts ports tree · lang/swi-prolog/Portfile · 来源: api.github.com

Linux

Alpine Linux apk已验证 · 92%

sudo apk add swi-prolog

Alpine Linux edge package indexes · swi-prolog · 来源: dl-cdn.alpinelinux.org

Debian apt已验证 · 92%

sudo apt install swi-prolog

Debian stable package indexes · swi-prolog · 来源: deb.debian.org

Fedora dnf已验证 · 92%

sudo dnf install swi-prolog

Fedora Rawhide package metadata · swi-prolog · 来源: dl.fedoraproject.org

Nix已验证 · 92%

nix profile install nixpkgs#swi-prolog

nixpkgs package indexes · pkgs/by-name/sw/swi-prolog/package.nix · 来源: api.github.com

Arch Linux pacman已验证 · 92%

sudo pacman -S swi-prolog

Arch Linux sync databases · swi-prolog · 来源: geo.mirror.pkgbuild.com

openSUSE zypper已验证 · 92%

sudo zypper install swipl

openSUSE Tumbleweed package metadata · swipl · 来源: download.opensuse.org

Windows

Chocolatey已验证 · 92%

choco install SWI-Prolog

Chocolatey community package catalog · SWI-Prolog · 来源: community.chocolatey.org

Windows Package Manager已验证 · 92%

winget install --id SWI-Prolog.SWI-Prolog -e

Windows Package Manager source index · SWI-Prolog.SWI-Prolog · 来源: cdn.winget.microsoft.com

Scoop已验证 · 92%

scoop install extras/swipl

Scoop official bucket manifest trees · bucket/swipl.json · 来源: api.github.com

概览

软件包摘要

ISO/Edinburgh-style Prolog interpreter

项目链接

命令和别名

swipl
swipl-ld
swipl-win

历史

项目历史与用法

SWI-Prolog is a long-running open-source implementation of Prolog, packaged for Unix-like systems, Windows package managers, and language-specific workflows. For CLI users it is best known through the swipl executable, an interactive top level, compiler/runtime, and development environment for logic-programming projects.

项目历史

The official manual says SWI-Prolog began in 1986 to support recursive interaction between Prolog and C, at a time when Prolog systems were less integrated with their host environments. The project's own site summarizes its public history as starting in 1987 and being driven by real-world application needs.

采用历史

SWI-Prolog's documentation describes it as widely used in education and research, and also in 24x7 commercial server processes. The project reports over a million downloads and notes that applications range from student assignments to commercial codebases with more than one million lines of Prolog.

使用方式

The normal Unix entry point is swipl. Users start an interactive session, load Prolog source files, run queries, build applications, install packs, or use the runtime in larger systems through C, C++, Java, Python, web, RDF, and other interfaces documented by the project.

为什么软件包爱好者会关心

SWI-Prolog matters to package maintainers because it is both a language runtime and a batteries-included development environment. It has native libraries, optional packages, documentation generation, a pack ecosystem, source builds with submodules, stable and development release tracks, and enough platform reach that packaging it is a real integration exercise rather than a simple single-binary install.

时间线

1986: Implementation history begins with the need for recursive Prolog and C interaction.
1987: Project site describes SWI-Prolog as starting in this year.
2007: SWI-Prolog and YAP establish a compatibility framework for portable Prolog programs.
2014: Primary git repository moved to GitHub.
2026: Official manual describes SWI-Prolog 10.1.x and ongoing stable/development release tracks.

Related projects

YAP is named in SWI-Prolog publications around Prolog portability.
XPCE is historically tied to SWI-Prolog's graphical environment.
SWISH provides a browser-based SWI-Prolog environment.
The SWI-Prolog pack system is the project's add-on packaging ecosystem.

来源

安全态势

风险级别：yellow

generalized runtime or code generation signal.

风险分类器

yellow 风险 · 中置信度 · runtime

原因

generalized runtime or code generation signal

信号

text:interpreter

安装行为

formula 元数据中未记录 Homebrew post-install 钩子。
Homebrew bottle 元数据适用于 6 个平台目标。
安装时包含 7 个运行时依赖。
构建元数据列出 2 个构建依赖。

建议审查

在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令	类型	暴露范围
`swipl`	cli	全局可执行文件
`swipl-ld`	cli	全局可执行文件
`swipl-win`	cli	全局可执行文件

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-07-08

管理器版本10.0.2

管理器更新时间

本地数据OK

上游not checked

检测到的最新版本未检测到

https://www.swi-prolog.org/

信息No package-manager update timestamp was available.低置信度
信息Release/tag comparison is only available for GitHub repositories.https://www.swi-prolog.org/none 置信度

安装元数据

软件包元数据

软件包键	brew:swi-prolog
版本	10.0.2
软件包管理器	Homebrew
软件包管理器页面	https://formulae.brew.sh/formula/swi-prolog
主页	https://www.swi-prolog.org/
仓库	https://github.com/SWI-Prolog/swipl-devel
上游文档	https://github.com/SWI-Prolog/swipl-devel#readme
许可证	BSD-2-Clause
源码归档	https://www.swi-prolog.org/download/stable/src/swipl-10.0.2.tar.gz
依赖	berkeley-db@5, gmp, libarchive, libyaml, openssl@3, pcre2, unixodbc
构建依赖	cmake, pkgconf
macOS 提供的库	libedit, libxcrypt, ncurses
Bottle	可用 (于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	未定义
服务	未声明

注册表事实

源数据库详情

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	swi-prolog
Version Scheme	0
Revision	0
Head Version	HEAD
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	head stable

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 Automic Vault 软件包链接分开显示。

Debian apt95%

swi-prolog 9.2.9+dfsg-1+b1