A formal notation for encoding game rules so different AI systems can play the same game consistently.