Простой пролог, обучение начинающих

Question

У меня есть следующий пролог;

customer(Invoice,_,Surname,_,Town),(Town='LA';Town='NEWYORK'), 
order(Invoice,Code,_), 
item(Code,_,_,_,_,_,_) 

Вышеприведенный пролог дает результаты;

Invoice = 51, Surname = 'Hally', Town = 'LA', Code = 54 ; 

Invoice = 51, Surname = 'Hally', Town = 'LA', Code = 58 ; 

Invoice = 51, Surname = 'Hally', Town = 'LA', Code = 85 ; 

Invoice = 51, Surname = 'Hally', Town = 'LA', Code = 148 ; 

Invoice = 71, Surname = 'Steptoe', Town = 'NEWYORK', Code = 148 ; 

Invoice = 71, Surname = 'Steptoe', Town = 'NEWYORK', Code = 176 ; 

Invoice = 73, Surname = 'Ahmed', Town = 'NEWYORK', Code = 180 ; 

Как можно видеть выше, есть два результата с тем же кодом (148), как я могу вернуть только эти два результата? Я попытался добавить ,(Code=Code)., но он не работает.

Я действительно новичок в этом!

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

getDuplicateOrders(Surname1, Surname2):- (prolog). 

Но я получаю ошибку о том, что статические переменные не должны использоваться!

Answer 1

Вы должны выделить коды, а затем сравнить их:

customer(Invoice1, _, Surname1, _, 'LA'), 
customer(Invoice2, _, Surname2, _, 'NEWYORK'), 
order(Invoice1, Code, _), 
order(Invoice2, Code, _), % We want the same code 
item(Code,_,_,_,_,_,_). 

Этот код, конечно, предполагает, что Счет является уникальным для каждой местности (например, , LA или NEWYORK). Если это не так, тогда в данных должен быть другой способ различать коды для разных заказов, если они действительно отличаются. Если нужно просто обеспечить уникальность счетов-фактур, dif/2 будет работать здесь:

customer(Invoice1, _, Surname1, _, 'LA'), 
customer(Invoice2, _, Surname2, _, 'NEWYORK'), 
dif(Invoice1, Invoice2), 
order(Invoice1, Code, _), 
order(Invoice2, Code, _), % We want the same code 
item(Code,_,_,_,_,_,_).