Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Oct 1, 2016
Picat is a new logic-based multi-paradigm programming language. Picat shares many features with Prolog, especially B-Prolog, but also has many distinct features: optional destructive assignments, functions in addition to predicates, explicit non-determinism, list comprehensions. Picat supports tabling: a form of memoization for logic programs. Tabling helps to avoid getting stuck in an infinite loop and allows easily formulating solutions for dynamic programming problems. Picat's tabling-based "planner" module can be used to declaratively solve AI planning problems. Learn how to do all this and more in an in-depth, hands-on workshop!