Advanced logic programming language - Dodd Tony Ed (Oxford Intellect, 1990)