На этом шаге мы рассмотрим предикаты.
Отношение в Прологе называется предикатом. Аргументы - это объекты, которые взываются этим отношением; в факте likes (bill, cindy) отношение likes - это предикат, а объекты bill и cindy - аргументы.
Вот несколько примеров предикатов с различным числом аргументов:
pred(integer,symbol)
person(last,first,gender)
run()
birthday(firstName,lastName, date)
В вышеприведенном примере показано, что предикаты могут вовсе не иметь аргументов, но использование таких предикатов ограничено. Чтобы выяснить имя Rosemont, можно применить запрос person (rosemont,Name,male). Но что делать с запросом без аргументов run? Выясним, есть ли в программе предложение run, и если run - это заголовок правила, то можно вычислить данное правило. В некоторых случаях это оказывается полезным - например, если бы вы захотели создать программу, работающую по-разному в зависимости от того, имеется ли предложение run.
На следующем шаге мы рассмотрим переменные.
