Удаление всех членов списка без объединения в Prolog [duplicate]

На этот вопрос уже есть ответы здесь

Закрыт 8 лет назад.

Возможный дубликат:
Prolog delete: doesn't delete all elements that unify with Element

В Prolog если написать так:

delete([(1,1),(1,2),(1,1),(3,4)],(1,_),L).

то результатом будет:

L = [ (1, 2), (3, 4)].

Что нормально, потому что переменная _ связывается с 1 в первом элементе и она ищет дальнейшие элементы (1,1) и удаляет их.

Есть ли способ предотвратить это объединение и удалить все члены формы (1,_). В этом случае результат должен быть таким: L = [ (3, 4)].

задан Community 23 May 2017 в 12:30

0 ответов

Другие вопросы по тегам: