Терм составной — это элемент математического отношения, формально записанного в виде математической функции. Составной терм состоит из двух частей: функтора (functor), представляющего собой функциональный символ, называющий отношение, и упорядоченного списка параметров.
[Боровская Е. В. Основы искусственного интеллекта: учебное пособие / Е. В. Боровская, Н. А. Давыдова. 4-ое изд., электрон. М.: Лаборатория знаний, 2020. — 130 с.]