Comments on "Logic-Programming with Equations"