对 SWI Prolog 编译器警告感到困惑

Question

所以我有两个目前对我来说没有意义的错误。第一个是use :- dynamic Name/Arity 警告，另一个是下面的后两个警告。谁能为我详细说明这些？

非常感谢！

Answer 1

正如用户false评论的那样：

使用dynamic 声明的建议是有条件的：如果这些是在运行时使用assert/1 定义的。这意味着，只有那时... 其他错误告诉您find_identify/3 的第一个子句出现了问题。显然 find_link/4 和 chart_map/2 没有定义。您以某种方式添加或省略了额外的参数。或者拼错了。