In the following, we give a step-by-step tutorial on a typical use case of NLTrace. Note that we type each step into the interactive shell manually, or we copy-paste the commands of entire code blocks (including the comments) into the shell.
The following section documents the user interface provided by NLTrace.