对 SWI Prolog 编译器警告感到困惑
Confused about SWI Prolog compiler warnings
所以我有两个错误现在对我来说没有意义。第一个是 use :- dynamic Name/Arity
警告,另一个是下面的第二个两个警告。谁能为我详细说明这些?
非常感谢!
正如用户评论false
:
使用 dynamic
声明的建议是有条件的:如果这些是在运行时使用 assert/1
定义的。这意味着,只有这样…… 其他错误告诉您 find_identify/3
的第一个子句出了问题。显然 find_link/4
和 chart_map/2
没有定义。您以某种方式添加或省略了额外的参数。或者拼写错误。
所以我有两个错误现在对我来说没有意义。第一个是 use :- dynamic Name/Arity
警告,另一个是下面的第二个两个警告。谁能为我详细说明这些?
非常感谢!
正如用户评论false
:
使用 dynamic
声明的建议是有条件的:如果这些是在运行时使用 assert/1
定义的。这意味着,只有这样…… 其他错误告诉您 find_identify/3
的第一个子句出了问题。显然 find_link/4
和 chart_map/2
没有定义。您以某种方式添加或省略了额外的参数。或者拼写错误。