gnu-prolog ☆
« Back to VersTracker
Description:
Prolog compiler with constraint solving
Type: Formula  |  Latest Version: 1.5.0@0  |  Tracked Since: Dec 24, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: prolog logic-programming compiler constraint-solving ai
Install: brew install gnu-prolog
About:
GNU Prolog is a mature, standalone Prolog compiler that includes a robust constraint solving engine. It supports both native code compilation for high performance and a robust bytecode interpreter. Its key value is providing a powerful, free, and open-source environment for logic programming and constraint logic programming.
Key Features:
  • Native code compilation for optimized performance
  • Robust constraint solving engine (CLP)
  • Interactive command-line debugger
  • Portable across multiple operating systems
Use Cases:
  • Developing expert systems and AI applications
  • Solving complex combinatorial and optimization problems
  • Teaching and researching logic programming paradigms
Alternatives:
  • SWI-Prolog – SWI-Prolog is often preferred for web/server applications and has a larger ecosystem of libraries, while GNU Prolog is known for its standalone compiler and constraint solver.
Version History
Detected Version Rev Change Commit
Dec 24, 2025 2:15pm 1.5.0 0 VERSION_BUMP 91abb794
Sep 11, 2025 5:27am 0 VERSION_BUMP dcb4ccc4
Nov 10, 2024 3:02pm 0 VERSION_BUMP d623b67d
« Back to VersTracker  |  Browse Packages  |  About