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

时间:2015-06-16 16:03:19

标签: compiler-warnings swi-prolog

Screenshot from SWIPL

所以我有两个对我来说没有意义的错误。第一个是use :- dynamic Name/Arity警告,另一个是下面的第二个警告。谁能为我详细说明这些内容?

非常感谢!

1 个答案:

答案 0 :(得分:2)

由用户false评论:

使用dynamic声明的建议是有条件的:如果使用assert/1在运行时定义这些声明。这意味着,只有这样......其他错误告诉你find_identify/3的第一个条款出错了。显然find_link/4chart_map/2未定义。你以某种方式添加或省略了额外的参数。或拼写错误。