Examples of aima.core.logic.fol.inference.FOLOTTERLikeTheoremProver$OTTERAnswerHandler

  }


  @Test
  public void testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds() {
    testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds(
        new FOLOTTERLikeTheoremProver(true), false);
  }


  private static void fOL_OTTERDemo() {
    System.out.println("---------------------------------------");
    System.out.println("OTTER Like Theorem Prover, Kings Demo 1");
    System.out.println("---------------------------------------");
    kingsDemo1(new FOLOTTERLikeTheoremProver());
    System.out.println("---------------------------------------");
    System.out.println("OTTER Like Theorem Prover, Kings Demo 2");
    System.out.println("---------------------------------------");
    kingsDemo2(new FOLOTTERLikeTheoremProver());
    System.out.println("---------------------------------------");
    System.out.println("OTTER Like Theorem Prover, Weapons Demo");
    System.out.println("---------------------------------------");
    weaponsDemo(new FOLOTTERLikeTheoremProver());
    System.out.println("--------------------------------------------");
    System.out.println("OTTER Like Theorem Prover, Loves Animal Demo");
    System.out.println("--------------------------------------------");
    lovesAnimalDemo(new FOLOTTERLikeTheoremProver());
    System.out
        .println("--------------------------------------------------");
    System.out
        .println("OTTER Like Theorem Prover, ABC Equality Axiom Demo");
    System.out
        .println("--------------------------------------------------");
    abcEqualityAxiomDemo(new FOLOTTERLikeTheoremProver(false));
    System.out
        .println("-----------------------------------------------------");
    System.out
        .println("OTTER Like Theorem Prover, ABC Equality No Axiom Demo");
    System.out
        .println("-----------------------------------------------------");
    abcEqualityNoAxiomDemo(new FOLOTTERLikeTheoremProver(true));
  }

  //
  // PUBLIC METHODS
  //
  public FOLKnowledgeBase(FOLDomain domain) {
    // Default to Full Resolution if not set.
    this(domain, new FOLOTTERLikeTheoremProver());
  }

Examples of aima.core.logic.fol.inference.FOLOTTERLikeTheoremProver$OTTERAnswerHandler

Related Classes of aima.core.logic.fol.inference.FOLOTTERLikeTheoremProver$OTTERAnswerHandler