Looking at the Program State

• ref-lps-ove: Overview
• ref-lps-app: Associating Predicates with their Properties
• ref-lps-apf: Associating Predicates with Files
• ref-lps-flg: Prolog Flags
• ref-lps-lco: Load Context