Seol mar théacs é seo: An Introduction To Logic Programming Through Prolog Micahel Spivey