Logic programming for expert systems - Hammond, Peter, MSc (Dept. of Computing, Imperial College of Science and Technology, 1980)