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