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 година