Examples with CompileProverImpl suite.lp.compile.impl.CompileProverImpl used on opensource projects

Example 1 with CompileProverImpl

use of suite.lp.compile.impl.CompileProverImpl in project suite by stupidsing.

the class ProverFactoryTest method test.

private void test(String query, boolean result) {
    for (ProverFactory pf : new ProverFactory[] { // 
    new CompileProverImpl(), new SewingProverImpl(Suite.newRuleSet(List.of("auto.sl"))) }) {
        Prove_ p = pf.prover(Suite.parse(query));
        assertEquals(result, p.test(new ProverConfig()));
    }
}