MIT's Mitchel Resnick and Natalie Rusk have warned that trying to teach kids programming using logic puzzles is like teaching people to write using crosswords. Writing in the November Communications ...

All the Latest Game Footage and Images from Lightbot: Programming Puzzles Featured by Apple in over 100 countries *Best New Apps and Games* *Best for Learning to Code* *Best in Hot Educational Games* ...

Picat is a new logic-based programming language. In many ways, Picat is similar to Prolog, especially B-Prolog, but it has functions in addition to predicates, pattern-matching instead of unification ...