Email Record: Foundations of equational logic programming /