Логическое программирование
Этот вызов приводит к бесконечному циклу
?- pred3(lis,jim)
==> бесконечный цикл
Содержание раздела
