private static void fOL_Paramodulation() {
System.out.println("-------------------");
System.out.println("Paramodulation Demo");
System.out.println("-------------------");
FOLDomain domain = new FOLDomain();
domain.addConstant("A");
domain.addConstant("B");
domain.addPredicate("P");
domain.addPredicate("Q");
domain.addPredicate("R");
domain.addFunction("F");
FOLParser parser = new FOLParser(domain);
List<Literal> lits = new ArrayList<Literal>();
AtomicSentence a1 = (AtomicSentence) parser.parse("P(F(x,B),x)");