Предикат – конструкция вида: <имя>(<аргументы>) аргументы обозначают какие-то объекты или свойства объектов, а имя предиката – связь или отношение между аргументами. Общий вид описание предиката: name(d1,d2,…). Факт – это утверждение о том, что соблюдается некоторое отношение. Факт записывается в виде предиката, аргументы которого являются константами (символьными или числовыми). БД на Прологе – совокупность фактов. БЗ состоит из совокупности фактов и правил. Правило – предложение, носящее более общей характер, чем частный факт. Правило определяет новый предикат через предикаты, определенные ранее. <голова правила>:-<тело правила>. Тело правила выполняет роль условия (посылки) истинности головы правила: если истинно тело правила, то справедлива голова правила. <тело правила> - список ранее определённых фактов разделённых логической связкой И, ИЛИ, НЕ и т.д. Знак «:-» читается как «ЕСЛИ». Знак «,» читается как «И». Знак «;» читается как «ИЛИ».