title: Convert First Order Logic to Clause Form - Java
body: <p>I am trying to implement a function that takes FOL sentence and returns an equivalent one in clause form. Any idea for links,samples as I can't find any so far.</p>