5.6.2 Consequences of => single sided unification rules
All Application Manual Name SummaryHelp

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.