Introduction to Logic Programming (Synthesis Lectures on Artificial Intelligence and Machine Learning)