Small style and content improvements to Prolog output file top and bottom comments.