picat ☆
« Back to VersTracker
Description:
Simple, and yet powerful, logic-based multi-paradigm programming language
Type: Formula  |  Latest Version: 3.9.6@0  |  Tracked Since: Dec 28, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: logic-programming multi-paradigm planning constraint-solving ai
Install: brew install picat
About:
Picat is a general-purpose programming language that integrates logic-based paradigms with functional and imperative features. It provides powerful constructs like explicit state variables and pattern matching to simplify complex programming tasks. The language is particularly strong for planning, parsing, and constraint solving applications.
Key Features:
  • Pattern matching and rule-based programming
  • Integrated constraint solving library
  • Support for imperative and functional styles
  • Tabling for memoization and dynamic programming
  • Foreign language interface for C and Java
Use Cases:
  • AI and automated planning applications
  • Symbolic computation and constraint solving
  • Parsing and text processing
  • Prototyping logic-based algorithms
Alternatives:
  • SWI-Prolog – More established Prolog implementation with extensive libraries, but Picat offers a more modern syntax and built-in tabling
  • Mercury – Statically typed logic language with strong performance, but Picat has a lighter syntax and easier learning curve
Version History
Detected Version Rev Change Commit
Jan 26, 2026 4:05pm 3.9.6 0 VERSION_BUMP be321065
Jan 15, 2026 12:57pm 3.9.5 0 VERSION_BUMP ced1d811
« Back to VersTracker  |  Browse Packages  |  About