Sergii Dymchenko: Introduction to Tabled Logic Programming with Picat Part 1 - λC 2016





The interactive transcript could not be loaded.


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!

Comments are disabled for this video.
When autoplay is enabled, a suggested video will automatically play next.

Up next

to add this to Watch Later

Add to

Loading playlists...