Max Bramer Logic Programming with Prolog - New York Springer US 2005 ISBN: 978-1-84628-212-6 Subjects--Topical Terms: Computer Science