VisualPrologpdf教程，文字不是很清楚，但可以阅读。