prolog to readme