public void FOL_BC_ASK() {
for (Predicate predicate : queries) {
try {
for (Map.Entry<String, Rule> entry : KBObj.KB.entrySet()) {
for (Sentence sent : entry.getValue().sentences) {
sent.allSubst = null;
}
}
AllSubstitution obj = FOL_BC_OR(predicate, null, 0);
if (obj == null) System.out.println("FALSE");
else System.out.println(obj.status ? "TRUE" : "FALSE");
// substList = new LinkedHashMap<String, LinkedList<AllSubstitution>>();
} catch (Exception e) {
System.out.println("FALSE");
}
}
}
