[nwmcsween]

Wouldn't state machines in a logic programming language or even just a constraint programming DSL be better than doing everything manually?