unicode:unicode_codepoint

unicode_codepoint_valid(+Code) is semidet: True when Code is a non-negative integer that is a valid and assigned Unicode code point. Unassigned code points (general category Cn), surrogate halves (Cs), and integers outside `0..0x10FFFF` all fail.