functional logic programming is not equivalent to functional programming.