A gameplay loops formal language
LUDOCORE: A logical game engine for modeling videogames