Логическая задачка для дошкольников :3 - Prolog

Формулировка задачи:

Здравствуйте ,задание формулируется так : Антон и Максим носят фамилии Шилов и Гвоздев. Какую фамилию носит каждый из них, если Максим с Шиловым живут в разных домах? Есть кусок программы с использованием списков:

logic :- People = [_, _],
member([maxim, _, x], People),
member([_, shilov, y], People),
member([anton, _, _], People),
member([_, gvozdev, _], People),
print(People).
 
Трассировка
People = [_, _],
member([maxim, _, x], People),
People  = [_G3738, _G3741]
member([_, shilov, y], People)
People  = [[maxim, _G3747, x], _G3741]
member([anton, _, _], People),
People  = [[maxim, _G3747, x], [_G3753, shilov, y]]
member([_, gvozdev, _], People),
People  = [[maxim, _G3747, x], [anton, shilov, y]]
print(People).
People  = [[maxim, gvozdev, x], [anton, shilov, y]]

Возможно ли реализовать данную программу без использования списков? Как это будет выглядеть? А если не возможно,не могли бы вы помочь привести данный код к работоспособному виду?)

Решение задачи: «Логическая задачка для дошкольников :3»

textual
                            Листинг программы 
                        
                              write(People).