sumGreater(Target,N,Sum) :- between(1,inf,N), numlist(1,N,L), sumlist(L,Sum), Sum > Target.
