summaryrefslogtreecommitdiff
path: root/prolog/problems/lists/memb_2/common.py
blob: 3acbc157161e4a4af71f0b2a21b3dc970f23b192 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
# coding=utf-8

id = 103
number = 10
visible = True
facts = None

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