Introduction to Logic Programming