Did you know ... Search Documentation:
uniname.pl
PublicShow source

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

Source unicode_name(?CodePoint:integer, ?Name:atom) is nondet
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'.