Pragmatica is a nifty puzzle game from HiVE, a team that includes Srehpog (Ark 22, Umbrella Adventure). The goal is simple: in each level, program robots with conditional statements so that they make their way safely to the exits. It gets a lot more challenging, however, as the game introduces hazards, switches, crates, bombs, and multiple control groups of robots to the mix. A built-in map maker lets you create and share your own levels.
TIGdb: Entry for Pragmatica