Использование предиката Prolog select?

Question

Я пытаюсь сделать программу, в которой находятся seat(Guests, Seating), если люди в списке. Гости могут быть перегруппированы в список «Гостиные», чтобы каждый из них был совместим с теми, которые с каждой стороны.

У меня есть факты для каждого человека:

topics(neil, [diving, football, computers, hockey]). 

и т.д ...

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

common(Person1, Person2, Topic) 

я должен использовать встроенный предикат выбора и мой пользователь, определенный общий предикат, но я не знаю, как.

Может ли кто-нибудь предоставить вам подходящее решение или объяснение?

Answer 1

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

• Выберите один гость из гостей, это будет также получить список Seating без этого выбранный гость
• Вызвать рекурсивную процедуру, которая принимает этого гостя, и выберет другого гостя (снова вернув списки оставшихся гостей) и проверьте совместимость. Если они совместимы, вызовите рекурсивно эту процедуру с новым гостем.
• Основной случай этой процедуры - когда в списке гостей больше нет гостей.

Это будет выглядеть примерно так:

seats(Guests, [Person1|Seating]):- 
    select(Person1, Guests, NGuests), 
    seats1(Person1, NGuests, Seating). 

seats1(_, [], []). 
seats1(LPerson, Guests, [RPerson|Seating]):- 
    select(RPerson, Guests, NGuests), 
    common(LPerson, RPerson, _), % There is a common topic between them 
    seats1(RPerson, NGuests, Seating).