Pluto: an object-oriented logic programming language | IEEE Conference Publication | IEEE Xplore