Example of recursion in Prolog
Source: Learn prolog now! (course available on-line)
Program source code: recursion.pl
numeral(0). numeral(succ(X)):-numeral(X).