Programs by Random Logic Games