Examples of FOLDomain

        cnf.toString());
  }


  @Test
  public void testInductionAxiomSchema() {
    FOLDomain domain = new FOLDomain();
    domain.addPredicate("Equal");
    domain.addFunction("Plus");
    domain.addConstant("A");
    domain.addConstant("B");
    domain.addConstant("N");
    domain.addConstant("ONE");
    domain.addConstant("ZERO");


    FOLParser parser = new FOLParser(domain);
    CNFConverter cnfConv = new CNFConverter(parser);


    // Base Case:

Examples of aima.core.logic.fol.domain.FOLDomain

        cnf.toString());
  }


  @Test
  public void testTermEquality() {
    FOLDomain domain = new FOLDomain();
    domain.addPredicate("P");
    domain.addPredicate("Q");
    domain.addPredicate("R");
    domain.addConstant("A");
    domain.addConstant("B");
    domain.addConstant("C");
    domain.addConstant("D");
    domain.addFunction("Plus");
    domain.addConstant("ONE");
    domain.addConstant("ZERO");


    FOLParser parser = new FOLParser(domain);
    CNFConverter cnfConv = new CNFConverter(parser);


    // x=y

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.