Я хочу преобразовать мои предложения в конъюнктивную нормальную форму. Пункты меняются каждый раз, когда я запускаю свою программу, поэтому я думаю, что мне нужно встроить инструмент в мою программу, чтобы сделать это для меня. Есть ли какие-либо предложения, как это реализовать? я также нашел несколько библиотек, таких как:
Орбитальная библиотека . Я новичок в логическом программировании, и я никогда не использовал их так, довольно трудно пройти через них. Я также пытался найти пример, чтобы прояснить ситуацию, но ничего не вышло. Я строю свою программу на языке Java. Пожалуйста, помогите ...
Заранее спасибо!