VSCode 运行 Prolog 依赖本地 SWI-Prolog 解释器，需先确保 swipl 命令行可用；必须安装官方 vscode-swi-prolog 插件；运行靠终端或 tasks.json，无 F5 调试；调试须用 swipl 交互式 trace；LSP 默认不加载 ~/.swiplrc，需手动配置 swipl.args。
VSCode 本身不运行 Prolog，它只负责编辑和调用外部 swipl 进程——真正执行代码的是你本地安装的 SWI-Prolog 解释器。没装 swipl 或路径配错，点再多“运行”按钮也没用。
确认 swipl 命令行可用是前提
所有后续操作都依赖这一步成功。VSCode 的 Prolog 插件、任务、终端命令全靠它。
- 打开系统终端（不是 VSCode 内置终端），输入
swipl --version，必须返回类似SWI-Prolog version 8.4.3 - 如果报
command not found或'swipl' is not recognized，说明 PATH 没配好：Windows 用户检查安装时是否勾选了 “Add to PATH”，macOS/Linux 用户确认/usr/local/bin/swipl或/usr/bin/swipl是否存在且可执行 - 别信“插件能自动找 swipl”——它只尝试调用
swipl命令，不会帮你修 PATH
必须用官方 vscode-swi-prolog 插件，别装错
VSCode Marketplace 上叫 “Prolog” 的插件有七八个，但只有 swi-prolog.vscode-swi-prolog（发布者是 swi-prolog）能真正协同 swipl 进程做语义分析。其他插件连 :- use_module(library(http/http_dispatch)). 都会标红报错。
- 在扩展面板搜
vscode-swi-prolog，认准作者栏写着swi-prolog - 装完后打开任意
.pl文件，右下角语言模式应显示Prolog；若仍是Plain Text，点击它手动选，或在settings.json加："files.associations": {"*.pl": "prolog"} - 状态栏出现
[SWI-Prolog]字样，且 hover 能看到版本号，才算语言服务器（LSP）跑起来了
运行代码只能靠终端命令或 tasks.json，F5 不起作用
vscode-swi-prolog 插件不提供调试器，VSCode 内置调试器也不认识 Prolog。所谓“运行”，本质就是往终端里敲 swipl 参数。
- 最简方式：打开内置终端（
Ctrl+`），执行swipl -g main -t halt -s ${file}（假设你有main/0谓词） - 想一键运行：在项目根目录建
.vscode/tasks.json，写一个 shell task，command设为swipl，args填["-g", "main", "-t", "halt", "-s", "${file}"] - 别配
launch.json里的type: "prolog"—— 那是过时插件留下的伪配置，当前官方插件根本不响应
调试得靠 swipl 自身的 trace，不是 VSCode 界面
VSCode 没有 Prolog 断点界面。你要的单步、查看变量、跳入谓词，全得进 swipl 交互式环境手动开 trace/0 和 leash/1。
- 在终端运行
swipl your_file.pl进入交互模式 - 输入
trace.开启跟踪，再输入查询（如?- parent(X, Y).），它就会逐条展示匹配过程 - 想临时停在某处？加
breakpoint.到代码里，再运行查询，swipl 会停住并给出调试提示符 - 插件唯一能帮你的，是 Ctrl+Click 跳转到谓词定义——但这和“调试执行流”是两回事
最容易被忽略的一点：插件的语言服务器（LSP）默认不加载你的 ~/.swiplrc 或自定义库路径。如果用了 :- asserta(user:file_search_path(mylib, '/path/to/lib')).，必须在插件设置里填 swipl.args 数组，显式传入初始化文件，否则 LSP 根本不知道那些路径存在。
