plumei

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