PξP: A Combined Parlog and Prolog Concurrent Object-Oriented Logic programming Language | part of Logic Programming: The 1995 International Symposium | MIT Press books | IEEE Xplore