A method for displaying an execution trace of a program described in a logic programming language, said program including at least one procedure, the method comprising the steps of:executing the program in a data processing apparatus; displaying terms of a program source list of the procedure that is called; and graphically displaying a present point of execution on the displayed program source li