使用另一个谓词的返回值来计算值



我有以下代码。我的所有其他功能都在工作。我已经测试过它们了。但是当我添加这个特定的代码时,事情开始变得混乱。甚至函数删除重复项也开始表现得很奇怪,显示在本地堆栈之外。可能有什么问题?

我也得到了这个 没有权限重新定义imported_procedure "列表:追加/3" 有时。

common-unique-elements(L1,L2,Ans):-
    nested-to-simple(L1, L1_simple),
    nested-to-simple(L2, L2_simple),
    remove-duplicates(L1_simple, L1_F),
    remove-duplicates(L2_simple, L2_F),
    simple-intersection(L1_F, L2_F,F).
    append(F,[],Ans).

上面发布的代码中也有两个句点。 common_unique_elements/3simple_intersection/3结尾。然后你就有了没有身体的append/3的定义。

最新更新