Мне было интересно, знаете ли вы какой-либо способ использования пролога для потоковой обработки, то есть какое-то реактивное программирование, или, по крайней мере, чтобы запрос выполнялся на базе знаний, которая постоянно обновляется (фактически поток), и непрерывно выводит вывод рассуждений?

Все, что реализовано в популярномprologs»типа SWI-пролог?