[semidet]same_functor(?Term1,
?Term2)
[semidet]same_functor(?Term1,
?Term2, -Arity)
[semidet]same_functor(?Term1,
?Term2, ?Name, ?Arity)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.
- Compatibility
- SICStus