因原导航帖（https://tieba.baidu.com/p/3163415018）中的链接已经失效，决定重开一个导航帖。希望这个帖子能有所帮助。
各精品区职能
教程与资料：Prolog的教程和相关资源。
资讯与花絮：Prolog的的重要新闻和逸闻趣事。
问题与解答：收录已经作出准确回答的帖子。
吧友原创：吧友原创的相关作品，程序、工具、艺术创作。
吧务：吧务相关。
官网
目前比较流行的是SWI-Prolog和Visual Prolog。SWI-Prolog官网比较好，上面能查到预设的谓词的用法。
SWI-Prolog官网：https://www.swi-prolog.org/
Visual Prolog官网：https://www.visual-prolog.com/
在线编程
SWISH：https://swish.swi-prolog.org/
WASM：https://dev.swi-prolog.org/wasm/shell
教程
Visual Prolog官网上部分教程的中文译文：https://wiki.visual-prolog.com/index.php?title=Category:Tutorials%E9%83%A8%E5%88%86%E4%B8%AD%E6%96%87%E8%AF%91%E6%96%87
【教程】Prolog和人工智能：https://tieba.baidu.com/p/5800468394
Prolog入门教程系列：https://www.cnblogs.com/zhangoke/p/9510122.html
书籍推荐
我之前是看的《七周七语言》和《用Prolog和Turbo Prolog语言开发专家系统》入的门。二三十年前是有一些Prolog相关的中文书籍，但当下应该没有太多专门讲它的中文新书。
英文书籍，按照《The Craft of Prolog》（https://tieba.baidu.com/p/7485300924）所建议的，学习Prolog，第一本书推荐用《Logic for Problem Solving》《Programming In Prolog》（https://tieba.baidu.com/p/7964297542）或《Prolog: A Relational Language and Its Applications》；第二本书推荐用《The art of Prolog》《Advanced Prolog: Techniques and Examples》；第三本书就是《The Craft of Prolog》了。

CLP(FD) 有限域上的约束逻辑程序设计：https://github.com/zhangjoke/swiplclpfd/blob/chinese-version/clpfd.adoc

斯坦福大学的《逻辑编程导论》，算是近些年的新书，有中文版的。书中主要讲斯坦福开发的Epilog，但也有Prolog、Datalog。语法和特点其实大同小异。