0 
elem([],0).

elem([H|T],R):-atomic(H),elem(T,R1),R1 is R+1.

elem([H|T],R):-elem(H,R1),elem(T,R2),R is R1+R2.

这是我的代码，在我在这个网站上搜索了我的问题的答案后，我没有找到一个好的答案。错误是：?- elem([1,[2],3,4],R)。

ERROR: is/2: Arguments are not sufficiently instantiated.

但它应该是R = 3。

4

1 回答 1

1

在第二行，你应该有

R is R1 + 1

代替

R1 is R + 1.
于 2013-01-16T13:45:27.427 回答