summaryrefslogtreecommitdiff
path: root/prolog/problems/lists/count_3/common.py
blob: 583ad6b1171398381d5a164ee648042604058c5b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
id = 120
group = 'lists'
number = 27
visible = True
facts = None

solution = '''\
count(_, [], 0).
count(X, [X|T], N) :-
  count(X, T, NT),
  N is NT + 1.
count(X, [Y|T], NT) :-
  X \== Y,
  count(X, T, NT).
'''