Command-line tool

swi-prolog

brew/swi-prolog

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

ISO/Edinburgh-style Prolog interpreter programming 编程 language 语言 logic prolog 逻辑

Website Source

At a glance

Type

Command-line tool

Install on

Windows, macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

Windows

winget install --id SWI-Prolog.SWI-Prolog -e
scoop bucket add extras; scoop install extras/swipl

macOS

brew install swi-prolog

Linux

brew install swi-prolog

Start an interactive session

swipl

Execute a command without showing any output

swipl --quiet -t "command"

Execute a script

swipl path/to/file.pl

Related command-line tools

• logtalk
  Declarative object-oriented logic programming language programming 编程 language 语言 logic prolog 逻辑
• scryer-prolog
  Modern ISO Prolog implementation written mostly in Rust programming 编程 language 语言 logic prolog 逻辑
• ECLiPSe Constraint Logic Programming System Version 7.0
  ECLiPSe Constraint Logic Programming System Version 7.0 (Windows package; no description in the winget index)…
• ECLiPSe Constraint Logic Programming System Version 7.1
  ECLiPSe Constraint Logic Programming System Version 7.1 (Windows package; no description in the winget index)…
• trealla-prolog
  Compact and efficient ISO Prolog interpreter written in plain old C
• mawk
  Interpreter for the AWK Programming Language
• zsharp
  A custom programming interpreter for ZSharp (Z ), a custom programming language developed by sam-astro.
• bas55
  Minimal BASIC programming language interpreter as defined by ECMA-55

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents