summaryrefslogtreecommitdiff
path: root/prolog/problems/lists/memb_2/common.py
blob: 32d91251868c6d41c9424c58c8b129e0492ac623 (plain)
1
2
3
4
5
6
7
8
9
10
11
id = 103
group = 'lists'
number = 10
visible = True
facts = None

solution = '''\
memb(X, [X|_]).
memb(X, [_|T]) :-
  memb(X, T).
'''