В моем предыдущем ответе на недавний вопрос " Тест двоичного дерева поиска Prolog — сравнение родительских узлов нежелательных родителей ", я предложил смешать lazy_chain/2 , который использует prolog-coroutining ... :- use_module (...