Как вы проверяете каждый элемент в двух списках рекурсивно в Prolog?

Question

Если у вас есть определение check_entries (X, Y)., Кто-нибудь знает, что будет лучшим способом рекурсивно проверять два списка и перебирать эти списки и сравнивать каждый элемент, чтобы узнать, отличаются ли они или нет? Я знаю, что вы где-то использовали оператор = \ =, но я не уверен, что еще делать ...

Пожалуйста, помогите, спасибо. Рекурсия - моя слабость :-(.

В частности, я хочу знать, как проверить, что два списка номеров L1, L2 различаются по каждому индексу. Я также хотел бы знать, как использовать = \ = для проверки неравенства

Answer 1

Рекурсия не является необходимым:.

all_different(L1, L2) :- forall(member(X, L1), \+ memberchk(X, L2)). 

Edit: на самом деле, ваш вопрос на самом деле, чтобы гарантировать, что если вы подходите списки Одноручное по -не, они разные. Таким образом, эти два будут отличаться: [1,2,1] и [2,1,2].

Я до сих пор не заморачиваться с рекурсией, хотя я думаю, вы могли бы:

all_different(L1, L2) :- maplist(=\=, L1, L2).