1.0.0.0.7 Unification Factoring

For compiled code, XSB offers unification factoring, which extends clause indexing methods found in functional programming into the logic programming framework. Briefly, unification factoring can offer not only complete indexing through non-deterministic indexing automata, but can also $factor$ elementary unification operations. The general technique is described in [19], and the XSB directives needed to use it are covered in Section 3.10.