Text this: An Introduction to Logic programming throuhg Prolog - Michael Spivey