是否有一个谓词将每个匿名变量替换为数字 1?在仅包含零和一以及匿名变量的列表中

Question

>我有一个名为unify的谓词，它应该将列表中的所有匿名变量(列表包含零，一和匿名变量(替换为数字1。但是我认为我做错误的递归，因为输出不是完全完成的列表。这是代码：'

unify([P|T], [1|L]):-
    P==0, P==1, !, unify(T,L).
unify([P|T],[P|L]):-
    P==0; P==1,!, unify(T,L).

例如，输入unify([_,_,1,0,0,_,_],L).的输出应L=[1,1,1,0,0,1,1].

Answer 1

名称unify/2通常用于实际的一般统一。请注意，此谓词不是纯关系谓词。

binlist_oneified(Bs, Os) :-
   must_be(list, Bs),
   copy_term(Bs, Os),
   term_variables(Os, Ws),
   maplist(=(1), Ws).