term_factorized/4

Availability:built-in

[det]term_factorized(+Term, -Skeleton, -Substitution, +Options)

As term_factorized/3, with the following options:

minimal(+Bool)

If true (default), subterms are the same when they are ==/2, as above. If false, only cells that are literally the same cell are shared. That is the sharing a term has in memory rather than the sharing implied by what it means, and it is what write_term/2 uses for the cycles option:

?- term_factorized(f(g(a),g(a)), S, B, [minimal(false)]).
S = f(g(a), g(a)),
B = [].
?- term_factorized(f(g(a),g(a)), S, B, [minimal(true)]).
S = f(_A, _A),
B = [_A=g(a)].

dollar_var(+Bool)

If true (default), '$VAR'(N) is left alone rather than taken apart, as it stands for a variable. See numbervars/3.