| Did you know ... | Search Documentation: |
| uniname.pl |
The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.
unicode_name(?CodePoint:integer, ?Name:atom) is nondetunicode_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'.