Programming languages 将一阶逻辑转换为CNF_Programming Languages_Artificial Intelligence_Machine Learning_Markov Chains

Programming languages 将一阶逻辑转换为CNF

programming-languages artificial-intelligence machine-learning

Programming languages 将一阶逻辑转换为CNF,programming-languages,artificial-intelligence,machine-learning,markov-chains,Programming Languages,Artificial Intelligence,Machine Learning,Markov Chains,在C/C++/java中是否存在将一阶逻辑转换为CNF的现有实现？使用以下方法可能更有效：对于实现，我建议您自己做一些像这样简单的事情。一种有效的方法是psuedo代码+解释

在C/C++/java中是否存在将一阶逻辑转换为CNF的现有实现？

使用以下方法可能更有效：

对于实现，我建议您自己做一些像这样简单的事情。一种有效的方法是psuedo代码+解释