The match strategy ?t matches the term pattern t against the current subject term. If the match succeeds all variables in t are bound to the corresponding sub-terms of the subject term.

See pattern matching

---

CategoryGlossary