scryer-prolog ☆
« Back to VersTracker
Description:
Modern ISO Prolog implementation written mostly in Rust
Type: Formula  |  Tracked Since: Dec 28, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: prolog logic-programming rust ai developer-tools
Install: brew install scryer-prolog
About:
Scryer Prolog is a modern, open-source ISO Prolog implementation written primarily in Rust. It aims to provide a robust, fast, and portable environment for logic programming. Its key value proposition includes a built-in HTTP server, WebAssembly support, and efficient tabling for recursive computations.
Key Features:
  • Rust-based implementation for performance and safety
  • Built-in HTTP server and WebAssembly support
  • Efficient tabling for memoization and Datalog solving
  • Comprehensive ISO Prolog standard compliance
Use Cases:
  • Symbolic AI and automated reasoning
  • Building REST APIs and web services in Prolog
  • Solving constraint satisfaction and logic puzzles
  • Educational tool for logic programming
Alternatives:
  • SWI-Prolog – More mature with extensive libraries, while Scryer offers modern architecture and Rust integration
  • GNU Prolog – Focuses on native compilation, whereas Scryer emphasizes modern features and web integration
Version History
Detected Version Rev Change Commit
Sep 27, 2025 1:36pm 0 VERSION_BUMP 749fa7b4
Sep 27, 2025 1:26pm 0 VERSION_BUMP 069f3ed6
Sep 14, 2025 5:27am 0 VERSION_BUMP 5f832edc
« Back to VersTracker  |  Browse Packages  |  About