Max Bramer Logic Programming with Prolog - New York Springer US 2013 ISBN: 978-1-4471-5487-7 Subjects--Topical Terms: Computer Science