我们大学（Swansea 大学，计算机排名全英前十），老师的Prolog笔记，有兴趣的可以看看。 （全英文）