Прямая цепочка и обратная цепочка в java

Какой будет лучший подход к реализации прямой и обратной цепочки для процесса рассуждений в java?

Нам предоставили базу знаний в форме рожка, в которой есть набор утверждений.

У меня есть пытался поискать в Интернете, но мне не удалось найти описание того, как реализовать такого рода концепцию искусственного интеллекта в кодировании.

Как я понимаю:

Я думал, что прочту каждое предложение (Horn-Form ) и создать из него объект. Каждый объект класса Sentence будет иметь переменные отношения, и когда я спрошу базы знаний для обратной или прямой цепочки, он проверит массив этих объектов и построит мою желаемую цепочку.

 public class Sentence{

    private String impliedBy;
    private String implementedVar;

    public Sentence(String sentence){
       String[] relation = sentence.split("=>");
       this.impliedBy = relation[0];
       this.implementedVar = relation[1];
    }
    ...
 }

Вызов класса выше, говоря ...

Sentence s = new Sentence("a&b=>c");

Я на правильном пути извините, я новичок в такого рода сложном программировании, и, согласно моему прогнозу, мне может потребоваться большая оптимизация для запуска такого рода рассуждений на очень высоком уровне. Но похоже, что мне нужно хорошее понимание со стороны кого-то, спасибо, если кто-то из вас может помочь ...

Спасибо!