Some Prolog learning examples.