Изучение методов трассировки в Прологе: подробное руководство

Трассировка программ на Прологе: методы и примеры отладки