Two interpretations of rule

Declarative (logic)For a given M and C, M is the mother of C if M is the parent of C and M is female

Procedural (computational)Prove M is mother of C by proving subgoals that M is a parent of C and that M is female

Declarative (logic) For a given M and C, M is the mother of C if M is the parent of C and M is female