- unicode_identifier_status(+Code:integer, -Status:atom) is semidet
- Succeeds, unifying Status with
allowed, when Code is listed in UTS #39IdentifierStatus.txtwith statusAllowed. Fails otherwise — per UTS #39 every code point not listed there is Restricted by default; rather than returnrestrictedfor everything else, this predicate simply fails.