Трассировка программы пролога в списке

#prolog #trace Вопрос: Я подумываю о том, чтобы собрать все следы программы пролога в список. Например, предположим, что у меня есть a. v(1). v(2). test:- a, v(X). Я хотел бы…