Define Programming Logic Games