Failure and Equality in Functional Logic Programming1 1Work partially supported by the Spanish project TIC2002-01167 ‘MELODIAS’ | Publicación