This shows the use of a box diagram to illustrate the procedure-call stack in executing a Prolog inheritance.
Click here to start.