Added The Art of Prolog pdf