#PEG SOLITAIRE ASP PLANNING SOLUTION CODE#

Neng-Fa Zhou: Scripting and Modeling with Picat, IBM PL DAY (PDF).: I blogged about Picat in A first look at Picat programming language.Håkan Kjellerstrand: CCDC 2014 paper My First Look At Picat as a Modeling Language for Constraint Solving andPlanning (PDF) (based on the blog post 'A first look at Picat programming language', see above).

Håkan Kjellerstrand: Picat - a new logic-based multi-paradigm programming language (PPT, slightly edited), talk at SweConsNet 2014, 20140613.

Håkan Kjellerstrand: ALP Newsletter article (July 2014) Picat: A Logic-based Multi-paradigm Language (as PDF: alp14.pdf).

Picartesius, Windows Excel/VBA integration of Picat (by Lorenz Schiffmann).

Neng-Fa Zhou: Tabling for Planning - Modeling and Solving Planning Problems With Picat (PDF, ECAI'14 Tutorial, Prague ).

Neng-Fa Zhou, Håkan Kjellerstrand: Solving several planning problems with Picat (Conference paper: Control and Decision Conference, 2014 CCDC).

Sergii Dymchenko occasionally write about Picat (and Logic Programming in general).

#PEG SOLITAIRE ASP PLANNING SOLUTION CODE#

Paper (PADL16) Neng-Fa Zhou, Håkan Kjellerstrand: The Picat-SAT Compiler, Presentation.Sergii Dymchenko in Linux Journal: An Introduction to Tabled Logic Programming with Picat.Sergii Dymchenko, Mariia Mykhailova: Declaratively solving Google Code Jam problems with Picat (arXiv). Neng-Fa Zhou: Video Programming in Picat (RuleML 2016).Neng-Fa Zhou: Video Tutorial 'Programming in Picat' (FLOPS16): Part 1, Part 2, Part 3.Neng-Fa Zhou, Håkan Kjellerstrand: A Picat-based XCSP Solver - from Parsing,Modeling, to SAT Encoding (LPOP 2020).

Peg solitaire asp planning solution