n(20).
n(2).
n(234)
n(4).
n(97).
n(8).

larger(C,m):-n(m), C<m.