Logic and objects - McCabe, F. G. (Frank G.) 1953- (New York ; London Prentice Hall, 1992)
Keywords: Logic programming