tail of a clause

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