Someone found 1. a common denominator of a family of Sokoban-like games, encoded them in the form of 2. a simple pattern-matching language, and implemented 3. a game engine on top of it.

So read this if you are interested in either 1 or 2 or 3.