將一階邏輯轉換爲子句形式 - Java

Question

我試圖實現一個函數，該函數使用FOL語句並返回子句形式中的等效項。任何想法的鏈接，樣本，因爲我目前找不到任何。

Answer 1

嘗試從https://code.google.com/p/aima-java/source/browse/trunk/aima-core/src/main/java/aima/core/logic/fol/kb/FOLKnowledgeBase.java?r=1011進一步發展。祝你好運！