Artificial intelligence and PROLOG on microcomputers - McAllister, J. 1937- (Edward Arnold, 1987)