Beating ZX Spectrum game "Logo: Part 1" with Picat
Beating ZX Spectrum game "Logo: Part 1" with Picat.
Sergii Dymchenko
Latest posts
"Introduction to tabled logic programming with Picat" in "Linux Journal"
"Introduction to tabled logic programming with Picat" in "Linux Journal".
"Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system" paper on SAC'15
"Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system" paper on SAC'15.
Solving "Vietnam snake" puzzle with constraint logic programming
Solving "Vietnam snake" puzzle with constraint logic programming and ECLiPSe CLP.
Solving PuzzlOR "Coins" puzzle with constraint logic programming
Solving PuzzlOR "Coins" puzzle with constraint logic programming and ECLiPSe CLP.
Solving Pentagonal Peg Solitaire puzzle with Picat
Solving Pentagonal Peg Solitaire puzzle with Picat.
Solving PuzzlOR "Electrifying" puzzle with constraint logic programming
Solving PuzzlOR "Electrifying" puzzle with constraint logic programming and ECLiPSe CLP.
Artificial intelligence planning with Picat
Artificial intelligence planning with Picat.
Diet problem in Picat
Solution for "Diet problem" in Picat
Facebook Hacker Cup 2015 Round 1: full score with Python, Prolog, and GAP
Facebook Hacker Cup 2015 Round 1: full score with Python, Prolog, and GAP.