Ren Ma a9823491e6 Support Logic Reasoning Benchmark (#1973) 1 рік тому
..
facts.kfb a9823491e6 Support Logic Reasoning Benchmark (#1973) 1 рік тому
rules.krb a9823491e6 Support Logic Reasoning Benchmark (#1973) 1 рік тому