Tag: logic-programming

• Solving "Vietnam snake" puzzle with constraint logic programming
• "Introduction to tabled logic programming with Picat" in "Linux Journal"
• Solving Pentagonal Peg Solitaire puzzle with Picat
• Beating ZX Spectrum game "Logo: Part 1" with Picat
• Facebook Hacker Cup 2015 Round 1: full score with Python, Prolog, and GAP
• Facebook Hacker Cup 2015 Qualification Round: full score with Prolog and Python
• Solving Greater Than Sudoku using constraint logic programming
• "Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system" paper on SAC'15
• Solving PuzzlOR "Electrifying" puzzle with constraint logic programming
• Diet problem in Picat
• Solving PuzzlOR "Coins" puzzle with constraint logic programming
• Solving Facebook Hacker Cup "Balanced Smileys" with definite clause grammar and B-Prolog
• Artificial intelligence planning with Picat
• Dynamic programming solution for Facebook Hacker Cup problem "AAAAAA" in B-Prolog