Теория:

Пусть имеется некоторая база знаний, созданная на языке Пролог, например вторая версия базы знаний «Семья». Как и для баз данных, ответ от базы знаний мы получаем, направив ей запрос.
Запросы к базе знаний можно разделить на два типа: запросы на подтверждение факта и запросы на перечисление значений переменных, удовлетворяющих запросу.
Запрос на подтверждение факта выглядит так: ? Son(Юра, Петр) Ответ будет «да».
Или другой запрос: ? Son(Виктор, Саша) Ответ будет «нет».
Теперь о запросах второго типа. В таком запросе каждую переменную Пролог воспринимает как требование найти такое значение, чтобы предикат оказался истиной.
Например, на запрос ? Grandfather\((x,y)\) будет дан следующий ответ:
\(x =\) Петр, \(y =\) Андрей
\(x =\) Петр, \(y =\)  Павел
\(x =\)  Петр, \(y =\)  Вера
\(x =\)  Егор, \(y =\)  Андрей
\(x =\)  Егор, \(y =\)  Павел
\(x =\)  Егор, \(y =\)  Вера
\(x =\)  Саша, \(y =\)  Виктор
\(x =\)  Саша, \(y =\)  Мария
Поймет Пролог и запрос, сформулированный в виде конъюнкции предикатов: ? Grandfather\((x,y)\), Brother\((x,z)\)
Мы в этом запросе спрашиваем, кто является одновременно дедушкой и братом и кому именно. Ответ таков:
\(x =\) Саша, \(y =\) Виктор,\(z =\) Юрий
\(x =\) Саша, \(y =\) Виктор, \(z =\) Игорь
\(x =\) Саша, \(y =\)Мария, \(z =\) Юрий
\(x =\) Саша, \(y =\) Мария, \(z =\) Игорь
Впрочем, нас могут не интересовать подробности, кому именно некто будет дедушкой и в то же время еще кому-то братом. Тогда запрос можно записать так: Grandfather(х, _), Brother(х, _.
 
Обрати внимание!
Символ _ обозначает, как говорят, пустой аргумент и фактически исполняет роль квантора существования.
Надо только помнить, что, употребленный в разных местах, он обозначает разные переменные. Если предикат, определяющий логическое выражение данного запроса, записать на языке математической логики, то получится так: yzGrandfather(x,y), Brother(x,z), а не так: yGrandfather(x,y), Brother(x,y).
Сам механизм поиска ответов на запросы мы рассказывать не будем. Но не потому, что это государственная тайна, просто это относится не к информатике, а к математике.
Источники:
Гейн А. Г., Ливчак А. Б., Сенокосов А. И. Информатика и ИКТ.  10 класс. М. : Просвещение, 187 с.