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

Question

我有以下代码。我所有的其他功能都在运作。我已经测试了它们。但是，当我添加这个特定的代码时，事情开始变成kaboom。甚至函数remove-duplicatelicates开始表现出奇怪的局部堆栈。可能是什么问题？

我也没有获得重新定义imported_procedure`列表的权限：append / 3＆＃39;有时。

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).

Answer 1

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