Command-line tool

gnu-prolog

brew/gnu-prolog

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

Prolog compiler with constraint solving

Website

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install gnu-prolog

Linux

brew install gnu-prolog

Related command-line tools

• 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)…
• scryer-prolog
  Modern ISO Prolog implementation written mostly in Rust programming 编程 language 语言 logic prolog 逻辑
• trealla-prolog
  Compact and efficient ISO Prolog interpreter written in plain old C
• swi-prolog
  ISO/Edinburgh-style Prolog interpreter programming 编程 language 语言 logic prolog 逻辑
• closure-compiler
  JavaScript optimizing compiler
• compiler_base_error
  compiler base error
• compiler_base_span
  compiler base span

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