Teaching Prolog techniques - Brna, Paul (University <Edinburgh> / Department of Artificial Intelligence: DAI research paper, 1991)