An Introduction to Logic Programming through Prolog