Game Description Language (GDL) [1]}, [2]}, is a strictly declarative language using logic programming-like syntax based on the Knowledge Interchange Format. Every game description contains declarations of player roles, initial game state, legal moves, state transition function, terminating conditions, and the goal function.
