Max Bramer Logic Programming with Prolog - Germany Springer 2013 ISBN: 978-1-4471-5487-7 Subjects--Topical Terms: Computer ScienceLogic Programming with Prolog