Object-Oriented Computations in Logic Programming

cover