SWI-Prolog -- variant/2

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

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

Source

[semidet]variant(@Term1, @Term2)

Same as SWI-Prolog Term1 =@= Term2.