 |
 |
 |
 |
|
 |
 |
58
Перечисленные предикаты в языке Пролог называются фактами. Факты в Прологе — это конкретные
предикаты с конкретными значениями. В качестве значений предикатов могут выступать слова, числа и
словосочетания, в которых слова соединяются знаком подчеркивания.
Вопросы в языке Пролог — это запросы к базам данных и базам знаний в ЭВМ. С точки зрения
математики любой вопрос на Прологе — это некоторое суждение об объектах, хранящихся в базе
знаний.
Эти суждения могут быть истинными или ложными. Задача системы Пролог состоит в том, чтобы
найти такие конкретные значения, которые дают положительные ответы на указанные вопросы.
Примеры простых вопросов на языке Пролог и ответов на них ЭВМ, в памяти которой содержится
указанная выше группа фактов (предикатов):
? папа (х, Лена)
—
Кто папа Лены ?
х = Вова
? мама (х, Лена)
—
Кто мама Лены?
нет
? мама (х, у)
—
Кто у кого — мама ?
х = Люба
у = Оля
? оценка (х, _ , 5)
—
Кто имеет оценки 5?
х = Лена
х = Вова
Здесь буквы х, у — обозначения переменных, а числа и слова — конкретные значения аргументов в
соответствующих предикатах. Знак подчеркивания «_» представляет неопределенное значение, которое
несущественно для ответа на вопросы.