Как мне отфильтровать объявленные факты в зависимости от того, является ли одна переменная членом списка в Прологе?

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

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

Для некоторой идеи я объявляю слова фактами в базе данных Prolog в формате:

word(W, X)

где W — само слово, а X — количество раз, которое оно встречается в файле.

Например, если я прочитаю текстовый файл со следующим текстом:

It's a lovely day outside; it's so hot and sunny, and it's overall lovely!

а затем выполните следующий запрос:

forall(word(W, X), writeln(W+X)

Запрос работает успешно, вывод:

It's+1
a+1
day+1
outside+1
so+1
hot+1
sunny+1
and+2
it's+2
overall+1
lovely+2

В настоящее время он выглядит не самым красивым, и он также чувствителен к регистру, но я считаю, что он успешно читает файл и успешно вычисляет количество использований слова.

Однако у меня возникают проблемы, если я пытаюсь отфильтровать слова, чтобы отобразить только те, где W соответствует слову в предварительно определенном списке слов, например:

PredefinedWords = [hot, sunny, cold, rainy]

Я провел поиск в Интернете, и, исходя из этого, моей первоначальной идеей было использовать предикаты findall и member в следующем запросе:

findall(word(W, X), member(W, PredefinedWords), MatchingWords).

Я надеялся, что применительно к приведенному выше примеру он отфильтрует предварительно объявленные слова, найденные в файле, и вернет результат, который выглядит примерно так:

MatchingWords = [word(hot, 1), word(sunny, 1)]

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

MatchingWords = [word(hot, _), word(sunny, _), word(cold, _), word(rainy, _)]

Я обнаружил, что он просто воспроизводит каждый элемент заранее определенного списка в формате word(W, X), где W — элемент списка, а X — пустая переменная. Он вообще не использовал слова, найденные в файле.

Когда я поместил аналогичный запрос в предикат в консультируемом файле, я понял, что Пролог рассматривает слово (W, X), объявленное в этом запросе, как нечто совершенно иное, чем в более ранних запросах, даже когда приведенный выше запрос в тот же предикат считал слово (W, X) таким же, как и в предыдущих запросах. В отличие от других запросов, таких как forall, запрос findall вообще не использует ранее объявленные слова. Меня это немного смутило, но я решил попробовать что-то другое.

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

findall([W, X], word(W, X), WordsList)

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

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

findall(WordsList, member(0, PredefinedWords), MatchingWords).

Я надеялся, что этот запрос вернет все члены списка WordsList, где первый индекс списка (слово) был найден в списке предопределенных слов, и запишет их в новый список MatchingWords.

Однако он просто вывел MatchingWords как пустой список:

MatchingWords = []

Затем я подумал, не запутался ли он, потому что я не объявлял конкретный формат индекса списка, поэтому я попробовал это:

findall(WordsList[W, X], member(W, PredefinedWords), MatchingWords).

Однако это вызвало синтаксическую ошибку «Ожидается оператор», где [ после WordsList является оскорбительным символом.

Наконец, я провел еще несколько поисков и попробовал включить предикат с лямбда-функцией в следующем запросе:

include(([W, X]>>member(W, PredefinedWords)), WordsList, MatchingWords).

Однако он снова вернул пустой список:

WordsList = MatchingWords, MatchingWords = []

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

Любая помощь или руководство будет принята с благодарностью.