Rule Matching
l
Consider evaluating
l
member(5, [1, 2, 3])
==>
rule 3 is the first to apply
l
member(5, [2, 3])
==>
rule 3 is the first to apply
l
member(5, [3])
==>
rule 3 is the first to apply
l
member(5, [])
==>
rule 1 is the first to apply
l
0