Title: Principles of Logic and Logic Programming