Alternate
lInstead of using a conditional expression, use a third rule with pattern matching:
lmember(X, [ ]) => 0;
lmember(X, [X| R]) => 1;
lmember(X, [F| R]) => member(X, R);
l
lThe rule used is always the first (from top to bottom) applicable one.
Right Arrow: Note: XÕs must match
Note: XÕs must match