LOGIC PROGRAMMING expanding the horizons - Dodd, Tony (Oxford Intellect Books, 1991)