Prolog代码语法错误求助：合规编写仍报句点/运算符缺失错误

我的Prolog代码如下：

:- dynamic (currentPlayer/1).
currentPlayer(ucup).    

printtest(X):-
currentPlayer(X),
format('Current player is: ~w\n', [X]),
retract(currentPlayer(X)),
assertz(currentPlayer(asep)).

已确认语法合规，但运行时提示语法错误：

syntax error: . or operator expected after expression
1 error(s)

错误指向代码第一行。预期逻辑：首次调用printtest(ucup)正常输出，之后当前玩家变为asep，需调用printtest(asep)才能再次输出。请排查问题原因。

• 错误根源：第一行的dynamic声明中多余的括号违反了Prolog标准语法。dynamic指令的参数不需要额外包裹括号，正确写法应为:- dynamic currentPlayer/1.，多余的括号会被解析器判定为无效表达式，触发语法错误。
• 修复后的完整代码：

:- dynamic currentPlayer/1.
currentPlayer(ucup).    

printtest(X):-
currentPlayer(X),
format('Current player is: ~w\n', [X]),
retract(currentPlayer(X)),
assertz(currentPlayer(asep)).

• 逻辑验证：
  1. 首次执行printtest(ucup)，匹配currentPlayer(ucup)断言，输出指定内容后，撤回原玩家条目并添加currentPlayer(asep)。
  2. 此时调用printtest(ucup)会失败，需调用printtest(asep)才能匹配当前玩家断言，完成输出与玩家切换操作。

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