Patricia M. Hill, David S. Warren Logic Programming - Germany Springer 2009 ISBN: 978-3-642-02846-5 Subjects--Topical Terms: Computer ScienceLogic Programming