An Introduction to Logic Programming Through Prolog (Prentice Hall International Series in Computer Science)