TPM's style of graphical representation (AORTA diagrams) is widely accepted as the best graphical visualization of Prolog execution. TPM was developed at the Open University in collaboration with Expert Systems International. This book gives both the theory behind the TPM graphical debugger and an account of its operation.