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でなければなりません。