这里虽然人少,不过还是有点用:http://www.douban.com/group/prolog/
我一向推荐这个中文教材:http://www.douban.com/group/topic/14359116/
iask上有下载。
讲erlang实现的,joe的博士论文,也有很多prolog的元编程技巧。