goals thrashing

Переполнение списка целей (в системах логического вывода)