Both call graph views (Context View and Global View) illustrate properties of files and predicates like this:

• Module File - A file that is declared as a module is indicated by a dark header background (see 1 in the image above).
• Non Module File - A file that contains no module declaration is indicated by a white header background (not shown on the image above).

These defaults can be changed in the File Appearance Preference Page.

Export status = background color:

• Exported Predicate – A predicate defined in a non-module file or a predicate that is declared in the export list of a module declaration is indicated by a green background color (see 2 on the image above).
• Not Exported Predicate – A predicate in a module file that is not declared in module declaration's export list is indicated by yellow background color (see 3, 4 and 5 in the image above).

Dynamicity = border style:

• Dynamic Predicate – A predicate that is declared as dynamic is indicated by a dashed and dotted border (see 5 in the image above).
• Static Predicate – A predicate that is not declared as dynamic is indicated by a solid border (see 2, 3 and 4 in the image above).

Dead code status = border color:

• Called Predicate - A predicate that is called (via a plain call or meta-call, directly or transitively) from an exported predicate in an PDT Entry Points file of your project is indicated by black border color (see 2, 3 and 5 in the image above).
• Uncalled Predicate - Any other predicate is considered to be dead code and is indicated by red border color (see 4 in the image above).

The above defaults can be changed in the predicate appearance Preference Page.