tree: 5ecf8369478b1a4f7733a7cbab954ef054358088 [path history] [tgz]
  1. AbstractForwardChainTool.java
  2. ForwardChainSpinTool.java