Traducir
constraint functional programming