Bridging the gap between object-oriented and logic programming | IEEE Journals & Magazine | IEEE Xplore