More examples for Prolog.