# 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).
'''