I'd be interested in seeing something like this for verifying game designs / new game rules given an existing design
AFAIK There's not really a programming language specific for describing how players interact in a game, so although there's no reason you couldn't implement it in any old programming language. I guess the same thing could be said of the law too until Catala.