6 Explanation and Debugging

The main power of AILog is in the explanation and debugging facilities. These fall into three classes:

• determining how an answer was proved
• determining why a potential answer wasn't produced
• determining why the search is in a particular state

Each of these is described in the following sections.

• 6.1 How? Questions
• 6.2 Whynot? Questions
• 6.3 Depth Bound
• 6.4 Why? Questions