Title: Introduction to Logic Programming