tail of a clause

Хвост [правая часть] (хорновской) формулы (в языке ПРОЛОГ)

Источник: Полный англо-русский словарь на Gufo.me