- u -

• unescape() : souffle
• unifyAtoms() : souffle::ast::transform
• usesInvalidWitness() : souffle::ast::transform