|
|
@@ -30,7 +30,7 @@ problema boicotPorDisciplna (j:JJOO, cat: (deporte,sexo), p:pais) = res : Int {
|
|
|
|
|
|
asegura mismos (participantes(competenciaFiltrada(j,cat)), [x| x <-participantes(competenciaFiltrada(pre(j),cat)), nacionalidad(x) != p])
|
|
|
|
|
|
- asegura res == | [x | c <- todasLasCompetencias(j), x <- participantes(c), (prm(categoria(comp)) == prm(cat) ^ sgd(categoria(comp)) == seg(cat)),nacionalidad(x) == p ] |;
|
|
|
+ asegura res == | [x | comp <- todasLasCompetencias(j), x <- participantes(comp), categoria(comp) == cat,nacionalidad(x) == p ] |;
|
|
|
|
|
|
/*
|
|
|
+---------------------+
|
Martu