Prolog высшего порядка

Подтвердите удаление

Вы уверены, что хотите удалить эту сущность? Higher Order Prolog?