Çevir
constraint functional programming