http://www.swi-prolog.org/ 下载swi-prolog解释器 http://www.chinaai.org/Article_Show.asp?ArticleID=316 中文入门教程 http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_1.html 英文入门教程