Прологе список манипуляция

Question

У меня есть вопрос, и нужен кто-то исправить меня:

store(wyoming, [evan, sandra], [storybook, fiction, general]).
store(brooklyn, [haas, maria], [fiction, schoolbook, religion]).
store(oakland, [rich, walker, dina, vince], [storybook, schoolbook, fiction]).

если я консультируйтесь ?-locations(storybook). ответ должен вернуться так, потому что сборник рассказов доступны более чем в одном магазине. Я пишу свой предикат следующим образом:

locations(Book) :- store(_, [_], [Books]), member(Book, Books). 

, когда я консультируюсь, я верну ложь, независимо от того, в какую именно книгу я вхожу. как это решить?

Answer 1

После применения предложения mbratch вам все равно необходимо проверить, когда Book доступен в более чем одном магазине. Самый простой способ, неэффективна, потому что если 'анализ' все БД:

locations(Book) :- 
    findall(Book, (store(_,_,Books), memberchk(Book, Books)), L), 
    length(L, N), N > 1. 

Мы можем сделать его менее многословным:

locations(Book) :- 
    findall(_, (store(_,_,Books), memberchk(Book, Books)), [_,_|_]). 

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

Чтобы избежать сканирования всей базы данных, объединение будет делать:

locations(Book) :- 
    store(X,_,BooksX), memberchk(Book,BooksX), 
    store(Y,_,BooksY), Y \= X, memberchk(Book,BooksY), 
    !. 

Окончательный срез предотвращает несколько бесполезных ответов на тот же Book.