SWI-Prolog程序文件中使用assert/retract报错的原因及解决方法

这个报错本质是Prolog对交互环境输入和程序文件内容的解析规则差异导致的：

• SWI-Prolog交互提示符（REPL）下输入的内容，默认按待执行查询处理。输入assert(at(1)).时，系统会直接执行断言操作，同时自动将未声明的at/1标记为可修改的动态谓词，因此可以正常运行返回true。
• 写入.pl程序文件的内容，没有特殊前缀的顶层语句会被解析为谓词定义（事实/规则），而非待执行查询。文件中直接写入retract(at(1)).时，系统会判定用户要为内置谓词retract/1添加自定义子句，但retract/1是系统预置的静态谓词，默认禁止用户修改、重定义，因此抛出No permission to modify static procedure 'retract/1'的权限错误。

根据实际使用场景选择对应写法即可：

• 如果需要文件加载时自动执行这两个动态数据库操作，做两处修正即可：
  1. 提前通过dynamic/1指令声明自定义谓词at/1为动态谓词，开放运行时增删子句的权限
  2. 给需要在加载阶段执行的操作加上:-前缀，标记为初始化指令，而非谓词定义
     修正后的test文件内容示例：

  % 声明at/1为可动态修改的谓词
  :- dynamic at/1.
  % 标记为加载时自动执行的指令
  :- assert(at(1)).
  :- retract(at(1)).
  

  修改后通过?- [test].加载文件即可正常运行，不会触发权限报错。
• 如果不需要加载时自动执行，只是要把相关操作封装为可手动调用的逻辑，不要在文件顶层裸写执行语句，将逻辑封装到自定义谓词中即可，示例：

  :- dynamic at/1.
  
  test_op :-
      assert(at(1)),
      retract(at(1)).
  

  加载完成后手动执行?- test_op.即可运行对应逻辑。

通用避坑提示：不要把交互环境里直接执行的查询语句裸写到程序文件中，所有需要在加载阶段执行的操作都必须加:-前缀标记为指令，否则都会被解析为谓词定义，一旦和内置谓词重名就会触发同类权限报错。

内容的提问来源于stack exchange，提问作者Dan Schwartz