Prolog 课件，层次清晰，讲解详细，每节课之后均有相应习题。 来自伦敦大学国王学院。