אנגלית ⇄ רוסית

tail of a clause מתח
.טכנול	хвост хорновской формулы (в языке ПРОЛОГ); хвост хорновской формулы (в языке ПРОЛОГ)