Title: Foundations of Logic Programming (Symbolic Computation / Artificial Intelligence)