Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs, extended …
