Artificial intelligence and PROLOG on microcomputers - MacAllister, J. (Arnold, 1987)