LUDOCORE: A logical game engine for modeling videogames
An experiment in automatic game design