SWI-Prolog -- rule/2

Documentation
- Reference manual
  - SWI-Prolog extensions
    - Single Sided Unification rules
      - Consequenses of => single sided unification rules
        
        rule/2
        
        rule/3
- Packages

Availability:built-in

rule(: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.