Simply Logical — Intelligent Reasoning by Example Learn Prolog Now! The Power of Prolog
David Tonhofer's Prolog Notes
Tau Prolog: A Prolog interpreter in JavaScript