Em Lisp, é possível analizar as chamadas às funções através da forma especial trace. Ela recebe o nome das funções que se pretendem analizar e altera essas funções de forma a que elas escrevam no terminal as chamadas com os respectivos argumentos em cada chamada, e os valores retornados. Esta informação é extremamente útil para a depuração das funções.
Para se parar a depuração de uma função, usa-se a forma especial untrace, que recebe o nome da função ou funções de que se pretende tirar o trace.
Se se usar a forma especial trace sem argumentos ela limita-se a indicar quais as funções que estão em trace. Se se usar a forma especial untrace sem argumentos, são retiradas de trace todas as funções que estavam em trace.
Exercício 18
Experimentar o trace do fact.