我对prolog很新。我有一个列表谓词的大小。我正在尝试创建另一个带有两个参数的谓词（一个int和一个列表），它在传入列表中调用list谓词的大小，如果列表大小与传入的int匹配，则返回true。
这是我到目前为止所做的。
size([],0).
size([H|T],N) :- size(T,N1), N is N1+1.
isEqual[X,Y] :- X/size[Y,N]. %X is an int representing expected length of list, Y is the list
欢迎提供建议。