svoid test_philosophyBot1_trails() {
  test_philosophyBot1_trailsForLogicRules();
  test_philosophyBot1_trailsForLogicFacts();
}

svoid test_philosophyBot1_trailsForFacts() {
  PhilosophyBot1 bot = new([[
    a => b
    
    a
  ]]);
  bot.printStackTraces = true;
  bot.enableTrails();
  bot.think();
  pnl(bot.deducedFactsWithTrails());
}

svoid test_philosophyBot1_trailsForLogicRules() {
  PhilosophyBot1 bot = new([[
    a & b => c
    
    a
  ]]);
  bot.printStackTraces = true;
  bot.enableTrails();
  bot.think();
  for (PhilosophyBot1.LogicRule rule : bot.logicRules()) {
    print(rule + ", trail: " + rule.trail);
    assertNotNull("trail" , rule.trail);
  }
}