Max Bramer Logic Programming with Prolog - 2013 ISBN: 978-1-4471-5487-7 Subjects--Topical Terms: Programming Techniques Programming Languages, Compilers, InterpretersComputer Science