Parse and analyze Prolog format/2 specifications