Maurizio Gabbrielli, Gopal Gupta Logic Programming - Germany Springer 2005 ISBN: 978-3-540-31947-4 Subjects--Topical Terms: Computer ScienceLogic Programming