5.6.2 Consequenses of => single sided unification rules
AllApplicationManualNameSummaryHelp

Availability:built-in
Sourcerule(:Head, -Rule)
rule(:Head, -Rule, -Ref)
True when Rule is a rule/clause that implements Head. Rule is a complete rule term. For a normal clause this is a term Head :- Body and for a single sided unification rule it is a term Head => Body.