Added some examples of various recursive predicates.