Description:
Simple, and yet powerful, logic-based multi-paradigm programming language
|
|
Type: Formula
|
Latest Version: 3.9.10@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
|
| Detected |
Version |
Rev |
Change |
Commit |
| Jul 3, 2026 10:39am |
3.9.10 |
0 |
VERSION_BUMP |
343b7a53 |
| Jun 20, 2026 12:52pm |
3.9.9 |
0 |
VERSION_BUMP |
d59dfd6b |
| May 21, 2026 9:52am |
3.9.8 |
0 |
VERSION_BUMP |
b3018ca0 |
| Feb 27, 2026 9:55am |
3.9.7 |
0 |
VERSION_BUMP |
13220cdc |
| Jan 26, 2026 4:05pm |
3.9.6 |
0 |
VERSION_BUMP |
be321065 |
| Jan 15, 2026 12:57pm |
3.9.5 |
0 |
VERSION_BUMP |
ced1d811 |
| Sep 11, 2024 9:01am |
3.7 |
0 |
VERSION_BUMP |
0d2ccb29 |
| Aug 26, 2024 6:25pm |
3.7 |
0 |
VERSION_BUMP |
efb9047e |
| May 8, 2024 4:17pm |
3.6.6 |
0 |
VERSION_BUMP |
b14278ca |
| Jan 19, 2024 4:23pm |
3.6 |
0 |
VERSION_BUMP |
87486383 |
| Sep 9, 2023 1:50pm |
3.5.5 |
0 |
VERSION_BUMP |
62621421 |
| Mar 12, 2023 5:33am |
3.4 |
0 |
VERSION_BUMP |
578a41f3 |
| Mar 12, 2023 5:33am |
3.4 |
0 |
VERSION_BUMP |
3a794eea |
|