char_type_punct/1

"char_type_punct( Char " )

Holds true if Char is a punctuation character.