Prolog递归调用

Question

所以，我有一个prolog谓词，例如这样的事情：

getSomething([Head|Tail],List,MaxV,MaxK,BestThing) :-
           %I call other functions that work just fine
           makeaverage(List,Med),
           compare(Med,MaxV,Comp),
           (Comp < MaxK, 
           getSomething(Tail,List,MaxV,Comp,Head);
           getSomething(Tail,List,MaxV,MaxS,BestThing)),
           write(BestThing).

问题是最好的事情实际上是_G267并且写回报：

Thing1 Thing2 Thing3 _G267

而且我真的需要Thing1，但是当谓词以递归的方式返回时，一切都搞砸了...所以......一些帮助会很棒:)。

我修好了它：

    getSomething([Head],List,MaxV,MaxK,BestThing) :-
           makeaverage(List,Med),
           compare(Med,MaxV,Comp),
           MaxK = Comp,
           BestTHing = Head .
    getSomething([Head|Tail],List,MaxV,MaxK,BestThing) :-
           getSomething(Tail,List,MaxV,Comp1,Head1),
           makeaverage(List,Med),
           compare(Med,MaxV,Comp),
           (Comp < MaxK
           ->
           MaxK = Comp,
           BestThing = Head;
           MaxK = Comp,
           BestThing = Head1).

或者像这样的想法是你用递归的方式去了没有初始化的变量，你在一个元素列表部分的最后一次递归调用结束时初始化它们......

Answer 1

只需将我以前的评论复制为答案：

{p> BestTHing在BestThing的第一个句子中应为getSomething，

将getSomething的fouth参数与其第一个参数的单个元素统一起来。