void OnExplorerClauseChanged(Clause clause)
 {
     InstructionStream.Clear();
     if (clause == null)
     {
         return;
     }
     foreach (var item in clause.PrologInstructionStream)
     {
         InstructionStream.Add(item);
     }
 }