True when Name is the Unicode character name of CodePoint. Usage:
unicode_name(+CodePoint, -Name) is semidet: the name of
CodePoint, failing when it has none (control, surrogate,
private-use or unassigned code points).unicode_name(-CodePoint, +Name) is semidet: the (unique)
code point with the given name.unicode_name(-CodePoint, -Name) is nondet: enumerate every
named code point on backtracking.
Name is an atom of the formal Unicode name in upper case, e.g.
?- unicode_name(0'A, N).
N = 'LATIN CAPITAL LETTER A'.
?- unicode_name(C, 'EURO SIGN').
C = 8364.
?- unicode_name(0xAC00, N).
N = 'HANGUL SYLLABLE GA'.
