Объединение (?) В Прологе

Question

У меня есть школьный проект, где мне нужно работать с Prolog. Это для меня все ново, поэтому у меня проблемы.

У меня есть список, как это:

List = [(_,_,_),(_,_,_),(_,_,_)] 

Я должен получить от ввода информации о каждом элементе в, через несколько предикатов, которые я должен создать.

Один из них относится к типу:

predicate(M1,M2,M3, List) 

, и он говорит, что M1 либо M2 или M3, но не оба. Например,

predicate((_,a,_),(2,_,_),(3,_,_),List) 

утверждает, что элемент с 'a' имеет либо 2, либо 3 в первом поле.

Я пробовал всю ночь, но не могу найти решение. Я считаю, что мне нужно использовать объединение, но не знаю, как это сделать.

Я попытался это:

predicate(M1,M2,M3,[_]) :- (M1=M2), not(M1=M3). 
predicate(M1,M2,M3,[_]) :- (M1=M3), not(M1=M2). 

Это может выглядеть смешно, но, как я сказал, Пролог является совершенно новым для меня, и я не могу вполне понять его функционирование.

Подсказка приветствуется. Благодаря!

EDIT:

Пример:

person(name,age,job). 
List = [(einstein,_,_),_,_]. 

Так что теперь у меня есть список список из 3-х человек, с Эйнштейном в первой позиции.

predicate = ((einstein,_,_),(_,87,_),(_,23,_), List). 

List = [(einstein,87,_),_,_)]; 
List = [(einstein,23,_),_,_)]. 

Эти два признанных списка после применения предиката.

Это должна быть простая проблема, но я не могу понять это.

Спасибо!

Answer 1

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

predicate(M1, M2, M3, [M1, M2, M3]) :- 
    M1 = M2, M1 \= M3 
    ; M1 = M3, M1 \= M2. 

EDIT: после комментариев

predicate(M1, M2, M3, List) :- 
    member(M1, List), 
    (M1 = M2, M1 \= M3 ; M1 = M3, M1 \= M2). 

член/2 это самое основное отношение в Прологе между списком и его элементов , Здесь он показывает способность базового движка связывать переменные во время поиска решения.

Данные дает

?- predicate((einstein,_,_),(_,87,_),(_,23,_), [E]). 
E = (einstein, 87, _G3908) ; 
E = (einstein, 23, _G3908). 

Answer 2

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

predicate(M1,M1,M3,[_]) :- M1 \= M3. 
predicate(M1,M2,M1,[_]) :- M1 \= M2. 

Это говорит то же самое, на самом деле, но эта версия обращает внимание на тот факт, что мы не делаем ничего с четвертым аргументом, который в этом формулировка может быть любым одноэлементным списком. Скорее всего, это не то, что вы имели в виду.

Answer 3

Я бы написал так:

predicate(M1,M2,M3,L):- member(M1,L),member(M1,[M2,M3]). 

вы говорите, «он говорит, что M1 либо M2 или M3, но не оба», но я думаю, что это вашей ответственности, как вызвавшее это сказуемое. Если вы поставили равные M2 и M3, очевидно, что вы хотели их равных. И если вы поставили их по-другому, ну, вот что они собой представляют.