Mastering prolog - Lucas, Robert 1954- (UCL Press, 1996)