Included motivational elements into the prolog export.