Sandro Etalle, Mirosław Truszczyński Logic Programming - Germany Springer 2006 ISBN: 978-3-540-36636-2 Subjects--Topical Terms: Computer ScienceLogic Programming