Equational Logic as a Programming Language