Есть ли программа, которая может рисовать дерево поиска для запросов на Прологе?

Мне интересно, существует ли инструмент, который может рисовать пошаговое дерево поиска программы на Прологе? Спасибо.