prolog_format:format