C-expressions: A variable free calculus for equational Logic Programming