Create prolog.txt