Skip to content

testing/picat: new aport

rubicon requested to merge rubicon/aports:rubicon-picat into master

Picat is a simple, yet powerful logic-based multi-paradigm programming language. It is primarily a rule-based language, in which predicates, functions, and actors are defined with pattern-matching rules.

Picat incorporates many declarative language features, such as explicit non-determinism, explicit unification, functions, list comprehensions, constraints, and tabling.

Picat also provides imperative language constructs, such as assignments and loops, to allow everyday programming tasks to be solved in the way they usually are.

Merge request reports