Create prolog.md