npm

picat

Logic-based multi-paradigm programming language combining declarative and imperative styles

brewmacoslinux
Try with needOr install directly
Source

About

Simple, and yet powerful, logic-based multi-paradigm programming language

Commands

picat

Examples

Run a Picat program from a file$ picat program.pi
Execute Picat code interactively in the REPL$ picat
Solve a constraint satisfaction problem written in Picat$ picat -g "main" puzzle.pi