Возможно ли сравнить позиции элементов в двух списках?

Question

[valerahex]

Здравствуйте, прошу помощи в реализации алгоритма для сравнения позиций элементов в двух списках.
Первый список - последовательность произвольных элементов. Второй список - последовательность элементов из первого списка. Необходимо написать предикат, который вернет истину, если элементы второго списка имеют ту же очередность, что и в первом. Например
[1, 1, 1, 2, 2, 2, 3, 3, 3]
[1, 2, 3]
true

[1, 1, 1, 2, 2, 2, 3, 3, 3]
[1, 3, 2]
false

Comments

[Дмитрий]

В пролог не умею.

А есть какие-нибудь ограничения на сложность алгоритма?

Answer 1

[Sergey Paramonov]

Помощь на подходе :) но задача не до конца объяснена -- как я понимаю, в первом случае числа идут блоками, а во втором? Хорошо, а может быть в первом случае [1,2,3,3,3,222,1]? Или порядок фиксирован -- т.е. объекты встречаются много раз -- но если 3 идет после 2 и перед 5, т.е. [2,2,2,2,3,3,5] то тройка потом не может появиться позже?

В этом случае решение такое: r_duplicates -- удаляет дублирующие элементы из обоих списков -- т.е. [1, 1, 1, 2, 2, 2, 3, 3, 3] => превращается в [1,2,3] -- а потом сравнивает списки в лоб.

r_duplicates([],[]).

r_duplicates([H | T], List) :-
     member(H, T),
     r_duplicates( T, List).

r_duplicates([H | T], [H|T1]) :-
      \+member(H, T),
      r_duplicates( T, T1).

compare_order(X,Y) :- r_duplicates(X,Z), r_duplicates(Y,H), H == Z.

Comments

[valerahex]

А если первый список будет [1, 2, 3, 1, 2, 3], то при сравнении со списком: [1, 3, 2], должен быть вывод true.

[Sergey Paramonov]

valerahex, тогда задача не до конца формализована -- можно как-то поподробней, что такое порядок элемента в данном случае? Если число встречается несколько раз -- то какой у него порядок?

[sudo rm -rf /]

А потом люди удивляются, чего так мало ответов на вопросы по Прологу.
А вот потому! :D