我在 Prolog 中有这段代码:
dynamic(player_at/1).
player_at(house).
goto(X) :- retract(player_at(house)), assert(player_at(X)).
但我仍然收到此错误:
uncaught exception: error(permission_error(modify,static_procedure,player_at/1),retract/1)
当我执行 goto(foo) 时。
我已经阅读了动态文档,但我不知道如何使用它,至少在 gprolog 中是这样。我错过了什么吗?