Prolog Open University - 3rd edn. - Milton Keynes The Open University 1994 - 45p. - Mathematics : A Third level course M353 Programming and Prog . ISBN: 749247967