дизъюнкт Хорна
дизъюнкция одного положительного и нескольких отрицательных литералов исчисления предикатов первого порядка
терм
константа
либо число, либо атом
атом
типично последовательность букв, цифр и знака "подчёркивание", обязательно начинающаяся со строчной буквы
переменная
последовательность букв, цифр и знака "_", обязательно начинающаяся с прописной буквы или знака "_"
структура
конструкция из функтора (которым может быть только атом) и списка через запятую компонент (которыми могут быть любые термы), заключенного в круглые скобки
конкретизация переменной
связывание переменной со значением
связывание переменных
превращение переменных в синонимы, указывающие на одно и то же будущее значение
список
упорядоченная последовательность произвольных термов, имеющая произвольную длину
голова списка
первый элемент списка
хвост списка
список, получаемый из исходного путем удаления его первого элемента
отсечение
механизм, позволяющий указать, какие из ранее сделанных выборов не следует пересматривать при возврате по цепочке согласованных целевых утверждений