There is more than a way to obtain that info.
most_wins(Id) :-
wins(Id, W), \+ (wins(_, W1), W1 > W).
or, if your Prolog has library(aggregate) :-
most_wins(Id) :-
aggregate(max(W, Id), wins(Id, W), max(_, Id)).
or you could use setof/3
most_wins(Id) :-
setof(N-Id, W^(wins(Id, W), N is -W), [_-Id|_]).
There are obvious speed/memory trade-offs: the first way it's memory efficient, O(1), but time complexity is O(N^2), because it scans 2 times the set of candidates. Second and third are (I think) practically equivalent, under current implementation in SWI-prolog, both build the list of candidates (then are O(N) in space) and then select the element - O(N log N) in time.
Go with the first if the candidates are facts.
edit Yet another way, the better from the efficiency viewpoint, make use of non-backtrackable assignment. Just scan the candidates, keeping the max on the go. Plain Prolog will require assert/retract to perform such task, making it rather inefficient. But many Prologs have more efficient ways to store 'global' variables...