Functional notation and lazy evaluation in Ciao | Publicación