True when Term1 and Term2 are compound terms that have the same
functor (Name/Arity). The arguments must be sufficiently
instantiated, which means either Term1 or Term2 must be bound or
both Name and Arity must be bound.
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in