Declarative Logic Programming: Theory, Systems, and Applications (Acm Books)