LOGIC, PROGRAMMING AND PROLOG (2ED) Ulf Nilsson and Jan Maluszy´ski n Copyright c 2000, Ulf Nilsson and Jan Maluszy´ski. The book may be downn loaded and printed for personal…