Example
lDefine the function member which tests whether the first argument is an element of the list in the second argument.
lmember(X, [ ]) => 0;
lmember(X, [F | R]) =>
(X == F) ? 1 :
member(X, R);
conditional expression (as in C++, Java)
(X == F) ? 1 :
member(X, R);conditional expression (as in C++, Java)