我刚刚学会了在Prolog中编程。这非常令人困惑,因为我不知道如何调用返回值"和其他语言一样。
例如,我写了一个谓词findVar(L,R),这意味着R是列表L中所有变量的列表。现在我想写一个谓词findLength(L,Len)来查找列表R的长度(findVar(L,R)的结果)。如何在此处连接到List R?谢谢!
findLength([],0).
findLength([H|T],Len) :-
findLength(T,TailLen),
Len is TailLen+1.