[PDF] - Computational Logic Introduction to Prolog Implementation: The PDF Document