Tutorial on Picat, by Neng-Fa Zhou at FLOPS'16, Kochi, Japan, March 5, 2016

March 9, 2016 3:55:18 PM by
Picat is a logic-based multi-paradigm programming language aimed for general-purpose applications. Picat is a rule-based language, in which predicates, functions, and actors are defined with pattern-matching rules. Picat incorporates many declarative language features, including explicit non-determinism, explicit unification. Part2: https://youtu.be/dfJebzh62Jg Part3: https://youtu.be/cj1QBcHZWdk