prolog/problems/lists/sublist_2/common.py


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

# coding=utf-8

id = 117
group = 'lists'
number = 24
visible = True
facts = None

solution = '''\
conc117([], L, L).
conc117([H|T], L2, [H|L]) :-
  conc117(T, L2, L).
sublist(L, S) :-
  conc117(_, T, L),
  conc117(S, _, T).
'''