Частини Пролог-програми.
Основна одиниця Прологу - фраза або твердження (терм). Пролог-програма складається з безлічі термів і її можна розглядати як мережу відносин, що існують між термами. Кожний терм позначає деяку сутність.
Фраза (терм) - це або факт, або правило. Після кожної фрази повинна стояти крапка.