Declarative Logic Programming: Theory, Systems, and Applications By: Michael Kifer, Yanhong Annie Liu Read more