Программа для логики?

Question

[Jujuj]

Есть множество логических суждений, вроде S есть P, некоторые S не есть P и так далее и тому подобное, так вот, существует ли программа, которая превращает 1 суждение в другое?

Comments

[Jujuj]

Макс Минимус: Например все кошки грациозны превращаем в все не грациозные животные не кошки

[Jujuj]

Макс Минимус: Тут необязательно рассматривать однокоренные слова, синонимы, антонимы и т.п. нужно просто переставлять слова

[Mrrl]

А задача-то в чём? Проверить эквивалентность двух суждений? Привести суждение в какую-то каноническую форму? Или что?

Answer 1

[drc]

вам нужен Prolog