Goals thrashing

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