Prolog是人工智能编程的经典语言,SWI-Prolog是Prolog开源社区备受推崇的系统。该用户手册十分详细,也可作为Prolog编程进阶的参考。