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.