Blog Index
- 2016-05-14 » Beating ZX Spectrum game "Logo: Part 1" with Picat
- 2015-08-30 » "Introduction to tabled logic programming with Picat" in "Linux Journal"
- 2015-05-29 » Solving "Vietnam snake" puzzle with constraint logic programming
- 2015-04-21 » Solving PuzzlOR "Coins" puzzle with constraint logic programming
- 2015-04-18 » "Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system" paper on SAC'15
- 2015-03-18 » Solving Pentagonal Peg Solitaire puzzle with Picat
- 2015-03-13 » Solving PuzzlOR "Electrifying" puzzle with constraint logic programming
- 2015-01-31 » Artificial intelligence planning with Picat
- 2015-01-19 » Facebook Hacker Cup 2015 Round 1: full score with Python, Prolog, and GAP
- 2015-01-11 » Facebook Hacker Cup 2015 Qualification Round: full score with Prolog and Python
- 2015-01-08 » Solving Facebook Hacker Cup "Balanced Smileys" with definite clause grammar and B-Prolog
- 2015-01-04 » Solving Greater Than Sudoku using constraint logic programming
- 2014-12-11 » "Python in programming competitions" talk at PuPy
- 2014-12-09 » Dynamic programming solution for Facebook Hacker Cup problem "AAAAAA" in B-Prolog
- 2014-11-05 » Diet problem in Picat