Я пытаюсь создать простой Prolog SAT Solver. Я считаю, что пользователь должен ввести логическую формулу для решения в CNF (Conjuctive Normal Form), используя списки Пролога, например (A или B) и (B ...