Title: Foundations of Logic Programming