Prolog定义集合并集谓词报错：无法重定义lists:union导入过程

错误原因 #

你遇到的 no permission to redefine imported_procedure 'lists:union' 错误，是因为大多数Prolog环境（比如SWI-Prolog）默认导入了lists模块中的union/3内置谓词，无法直接重定义这个已导入的内置谓词。

修复方案 #

1. 重命名自定义谓词（推荐） #

将你的自定义并集谓词改名，避免和内置谓词冲突，比如改为club_union/3。同时修正代码中的两个问题：

• 谓词调用的大小写错误：原代码中用了大写的Club(...)，但你的事实是小写的club/2，Prolog中大写开头是变量，小写开头是原子/谓词名。
• set_operations中调用谓词时需要接收并集结果并输出，原代码只调用了union(Y,Z)但你的谓词需要三个参数。

修正后的代码如下：

set_operations:-
    write('输入1计算并集:'), nl,
    read(X),
    (X=1->
      write('输入俱乐部1名称:'),nl,
      read(Y),
      write('输入俱乐部2名称:'),nl,
      read(Z),
      club_union(Y,Z,Result),
      write('两个俱乐部的成员并集是:'), write(Result), nl
    ).

club(football, [john, mary, peter, jane]).
club(basketball, [peter, jane, tom, kim]).
club(dance,[emily, andrew, john, jacob]).

club_union(Club1,Club2,R):-
    club(Club1,L1), 
    club(Club2,L2),         
    concatenate(L1,L2,X), 
    sort(X,R).

concatenate( [ ] , [ ] , [ ] ).
concatenate( [ ] , X , X ).
concatenate( X ,[], X ).
concatenate( [H1|T1] , L2, [H1|X] ):-concatenate(T1,L2,X).

2. 其他可选方案 #

如果你坚持要用union作为谓词名，可以尝试：

• 使用模块封装：将你的谓词放到自定义模块中，比如：

  :- module(my_set_ops, [union/3, set_operations/0]).
  
  % 这里放你的club事实和union、concatenate、set_operations谓词
  

  然后在主程序中导入该模块，避免和内置union冲突。
• 废除内置谓词：使用:- abolish(lists:union/3).来移除内置的union/3，但不推荐这种做法，因为可能影响其他依赖该内置谓词的代码。

内容的提问来源于stack exchange，提问作者Raven