Директивы trace и shorttrace

Как мы уже объясняли в Главе 2, трассирование - это средство диаг-

ностики, позволяющее вам "проходить" по вашей программе в пошаговом режи-

ме, видя на каждом шаге вызываемое (CALL) предложение и возвращаемое

(RETURN) значение. С помощью трассирования вы можете точно увидеть, что

делает Турбо Пролог, пытаясь разрешить цель.