brew

swi-prolog mit Homebrew, apk, chocolatey, apt, dnf, MacPorts, Nix, pacman, winget, zypper, scoop installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für swi-prolog in AI-Agent-Workflows.

Installationsbefehl Sicherheitshinweise

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%

brew install swi-prolog

local Homebrew formula metadata

MacPortsverifiziert · 94%

sudo port install swi-prolog

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

Linux

Alpine Linux apkverifiziert · 92%

sudo apk add swi-prolog

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

Debian aptverifiziert · 92%

sudo apt install swi-prolog

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

Fedora dnfverifiziert · 92%

sudo dnf install swi-prolog

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

Nixverifiziert · 92%

nix profile install nixpkgs#swi-prolog

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

Arch Linux pacmanverifiziert · 92%

sudo pacman -S swi-prolog

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

openSUSE zypperverifiziert · 92%

sudo zypper install swipl

openSUSE Tumbleweed package metadata · swipl · Quelle: download.opensuse.org

Windows

Chocolateyverifiziert · 92%

choco install SWI-Prolog

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

Windows Package Managerverifiziert · 92%

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

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

Scoopverifiziert · 92%

scoop install extras/swipl

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

Überblick

Paketzusammenfassung

ISO/Edinburgh-style Prolog interpreter

Projektlinks

Befehle und Aliase

swipl
swipl-ld
swipl-win

Verlauf

Projektgeschichte und Nutzung

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.

Projektgeschichte

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.

Adoptionsgeschichte

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.

Wie es verwendet wird

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.

Warum Paket-Nerds sich dafür interessieren

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.

Zeitleiste

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.

Quellen

Sicherheitslage

Risikostufe: yellow

generalized runtime or code generation signal.

Risikoklassifikator

yellow Risiko · mittel Konfidenz · runtime

Warum

generalized runtime or code generation signal

Signale

text:interpreter

Installationsverhalten

In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.
Installiert mit 7 Laufzeitabhängigkeiten.
Build-Metadaten listen 2 Build-Abhängigkeiten.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

Befehl	Art	Sichtbarkeit
`swipl`	cli	globales Executable
`swipl-ld`	cli	globales Executable
`swipl-win`	cli	globales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-07-08

Manager-Version10.0.2

Manager aktualisiert

lokale DatenOK

Upstreamnot checked

neueste erkannte Versionnicht erkannt

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

InfoNo package-manager update timestamp was available.niedrig Konfidenz
InfoRelease/tag comparison is only available for GitHub repositories.https://www.swi-prolog.org/none Konfidenz

Installationsmetadaten

Paketmetadaten

Paketschlüssel	brew:swi-prolog
Version	10.0.2
Paketmanager	Homebrew
Paketmanager-Seite	https://formulae.brew.sh/formula/swi-prolog
Homepage	https://www.swi-prolog.org/
Repository	https://github.com/SWI-Prolog/swipl-devel
Upstream-Dokumentation	https://github.com/SWI-Prolog/swipl-devel#readme
Lizenz	BSD-2-Clause
Quellarchiv	https://www.swi-prolog.org/download/stable/src/swipl-10.0.2.tar.gz
Abhängigkeiten	berkeley-db@5, gmp, libarchive, libyaml, openssl@3, pcre2, unixodbc
Build-Abhängigkeiten	cmake, pkgconf
Von macOS bereitgestellte Bibliotheken	libedit, libxcrypt, ncurses
Bottle	verfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	nicht definiert
Dienst	keiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

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

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

Debian apt95%

swi-prolog 9.2.9+dfsg-1+b1