Figure 3: The Prolog cross reference view