应用介绍
排班、选课冲突、配置依赖这类问题，用普通语言写就是一层层 for 循环加回溯，写完自己都不敢改。Prolog 换了个思路：你只描述规则和约束，剩下的交给求解器去试。SWI-Prolog 是这条路上最能落地的那个实现——从 1987 年做到现在，不只是一个语言解释器，而是一整套能写真实程序的运行时，官方说下载量已经过百万。
它不像很多 Prolog 那样只活在课堂里。自带 HTTP 服务器可以直接把推理逻辑发布成 Web 服务，能读写 JSON、XML、RDF，有多线程和约束求解库（CLP(FD) 之类），还能通过 C/C++ 接口跟现有代码对接。装完就有一个交互式 top-level，写一条规则马上敲个查询验证，改完再问一次，循环比编译型语言快得多。
交互式 top-level：启动就是一个 REPL，consult 载入源文件后直接提问，答案可以按分号一个个往下翻，看清楚回溯到底给了几组解。
PceEmacs 源码编辑器：内置编辑器认得 Prolog 语法，能高亮、跳转到谓词定义、检查未定义的调用和单例变量，改完不用切窗口直接重新载入。
图形调试器与跟踪：gtrace 把执行过程画出来，能设断点、单步进出、看每一步绑定了哪些变量，排查回溯跑偏比盯着文本跟踪省事。
多线程与执行分析：支持真正的多线程，配套的 profiler 会统计每个谓词调用了多少次、花了多少时间，找性能瓶颈有据可依。
约束求解库：CLP(FD) 这类约束库把「这几个变量互不相同、总和等于 N」直接写成约束，排班和数独这种题不用自己写剪枝。
HTTP 服务器与数据格式：标准库里就有 HTTP 服务端和客户端，JSON、XML、RDF 读写齐备，推理结果能直接当接口对外提供。
和 C/C++ 互相调用：外部语言接口允许 Prolog 调 C 函数，也允许 C 程序把 SWI-Prolog 当成嵌入式推理引擎。
跨平台：Windows、macOS 和各种 Linux 发行版都有官方构建，源码也公开，课上写的程序拿回家照跑。
它不像很多 Prolog 那样只活在课堂里。自带 HTTP 服务器可以直接把推理逻辑发布成 Web 服务，能读写 JSON、XML、RDF，有多线程和约束求解库（CLP(FD) 之类），还能通过 C/C++ 接口跟现有代码对接。装完就有一个交互式 top-level，写一条规则马上敲个查询验证，改完再问一次，循环比编译型语言快得多。
软件功能
交互式 top-level：启动就是一个 REPL，consult 载入源文件后直接提问，答案可以按分号一个个往下翻，看清楚回溯到底给了几组解。
PceEmacs 源码编辑器：内置编辑器认得 Prolog 语法，能高亮、跳转到谓词定义、检查未定义的调用和单例变量，改完不用切窗口直接重新载入。
图形调试器与跟踪：gtrace 把执行过程画出来，能设断点、单步进出、看每一步绑定了哪些变量，排查回溯跑偏比盯着文本跟踪省事。
多线程与执行分析：支持真正的多线程，配套的 profiler 会统计每个谓词调用了多少次、花了多少时间，找性能瓶颈有据可依。
约束求解库：CLP(FD) 这类约束库把「这几个变量互不相同、总和等于 N」直接写成约束，排班和数独这种题不用自己写剪枝。
HTTP 服务器与数据格式：标准库里就有 HTTP 服务端和客户端，JSON、XML、RDF 读写齐备，推理结果能直接当接口对外提供。
和 C/C++ 互相调用：外部语言接口允许 Prolog 调 C 函数，也允许 C 程序把 SWI-Prolog 当成嵌入式推理引擎。
跨平台：Windows、macOS 和各种 Linux 发行版都有官方构建，源码也公开，课上写的程序拿回家照跑。
