Title: Foundations of logic programming