SWI-Prolog -- term_factorized/3

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(terms): Term manipulation
- Packages

Availability::- use_module(library(terms)).(can be autoloaded)

term_factorized(+Term, -Skeleton, -Substiution)

Is true when Skeleton is Term where all subterms that appear multiple times are replaced by a variable and Substitution is a list of Var=Value that provides the subterm at the location Var. I.e., After unifying all substitutions in Substiutions, Term == Skeleton. Term may be cyclic. For example:

?- X = a(X), term_factorized(b(X,X), Y, S).
Y = b(_G255, _G255),
S = [_G255=a(_G255)].