18c0693f

Этот вызов приводит к бесконечному циклу


?- pred3(lis,jim)

==> бесконечный цикл