same_functor/2

Did you know ... Search Documentation:
SWI-Prolog owl logo Predicate same_functor/2
Availability::- use_module(library(terms)).(can be autoloaded)
Source [semidet]same_functor(?Term1, ?Term2)
[semidet]same_functor(?Term1, ?Term2, -Arity)
[semidet]same_functor(?Term1, ?Term2, ?Name, ?Arity)
True when Term1 and Term2 are 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.

If Arity is 0, Term1 and Term2 are unified with Name for compatibility.

Compatibility
SICStus
Tags are associated to your profile if you are logged in
Tags:
login to add a new annotation post.

AltStyle によって変換されたページ (->オリジナル) /