In Curry one can define the operation last as follows: last xs | ys++ =:= xs = e where ys,e free Here, the symbol “=:=” is used for equational constraints in order to provide a syntactic distinction from defining equations.
In Curry one can define the operation last as follows: last xs | ys++ =:= xs = e where ys,e free Aici, simbolul "=: =" este folosit pentru constrângerile ecuaționale pentru a oferi o distincție sintactică de la ecuațiile definitorii.