Logic Programming: Theory, Practices And Challenges (computer Science, Technology And Applications) [Paperback]