Зависимости между объектами множеств, между которыми устанавливается взаимно-однозначное соответствие, в Прологе:

Множества с одинаковым количеством элементов, между которыми устанавливается взаимно-однозначное соответствие, на языке Пролог можно описывать как:

Правило, определяющее отношение ребенок/2 через отношение отец/2, в Прологе запишется следующим образом:

В Прологе существуют следующие виды термов:

В Прологе интуитивно означает объект:

В Прологе предикат запроса называется:

Отдельный объект, считающийся элементарным в Прологе называется:

Для включения в программу комментариев, в Прологе могут использоваться следующие символы:

В Прологе рекурсия встречается, когда предикат содержит цель, которая:

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

Встроенные предикаты в Прологе - это предикаты: