| Function Membership
Solution |
|
|
|
|
|
|
|
|
|
|
| Define two
predicates: |
|||||||||
| l | member(X,[X|T]). |
||||||||
| l | member(X,[Y|T])
:- member(X,T). |
||||||||
| A more elegant
definition uses anonymous variables: |
|||||||||
| l | member(X,[X,_]). |
||||||||
| l | member(X,[_|T])
:- member(X,T). |
||||||||
| Again, the
symbol _ indicates that the contents of that |
|||||||||
| variable is
unimportant. |
|||||||||
| 46 |
