Introduction to First-Order Logic and Prolog

10 Mar 2005

CS 3243 - FOL and Prolog

Function Membership Solution

Define two predicates:

lmember(X,[X|T]).

lmember(X,[Y|T]) :- member(X,T).

A more elegant definition uses anonymous variables:

lmember(X,[X,_]).

lmember(X,[_|T]) :- member(X,T).

Again, the symbol _ indicates that the contents of that variable is unimportant.