[{"title":"( 5 个子文件 10KB ) 基于谓词逻辑的归结原理实验","children":[{"title":"main.cpp <span style='color:#111;'> 32.00KB </span>","children":null,"spread":false},{"title":"result1.txt <span style='color:#111;'> 926B </span>","children":null,"spread":false},{"title":"resolution.in <span style='color:#111;'> 59B </span>","children":null,"spread":false},{"title":"transform.h <span style='color:#111;'> 777B </span>","children":null,"spread":false},{"title":"substance.h <span style='color:#111;'> 3.58KB </span>","children":null,"spread":false}],"spread":true}]