Prolog Examples with Solutions - View it on GitHub