macOS
Homebrewverified · 100%
brew install swi-prologprovider-native install command
brew / rank 1838
Install swi-prolog with Homebrew
ISO/Edinburgh-style Prolog interpreter. Version 10.0.2 via Homebrew; verified from local package data.
install
Additional install commands
overview
Package summary
ISO/Edinburgh-style Prolog interpreter
Project links
Commands and aliases
- swipl
- swipl-ld
- swipl-win
history
Project history and usage
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.
Project history
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.
Adoption history
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.
How it is used
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.
Why package nerds care
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.
Timeline
- 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.
Sources
security posture
Risk level: yellow
generalized runtime or code generation signal.
Risk classifier
yellow risk · medium confidence · runtime
Why
- generalized runtime or code generation signal
Signals
- text:interpreter
Install behavior
- No Homebrew bottle metadata was recorded.
Recommended review
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
Installed executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
swipl | executable | indexed executable | Discovered from the local executable index. |
swipl-ld | executable | indexed executable | Discovered from the local executable index. |
swipl-win | executable | indexed executable | Discovered from the local executable index. |
freshness
Version and freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
page generated2026-08-03
manager version10.0.2
manager updated
local dataunknown
upstreamnot available
latest detectednot detected
- okNo freshness warnings were generated.
install metadata
Package metadata
| Package key | brew:swi-prolog |
|---|---|
| Version | 10.0.2 |
| Package manager | Homebrew |
| Homepage | https://www.swi-prolog.org/ |
| Repository | https://github.com/SWI-Prolog/swipl-devel |
| Bottle | not recorded |
| Service | none declared |
source trail
Generated from repository data
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Used sources
- Geiger risk classifier
- Nucleus package database
- curated package history
- pkgdb category and tag curation