An Introduction to Logic Programming through Prolog

Please follow this link.