Convert clauses to CNF 
I want to transform my clauses to conjuctive normal form. Clauses are changed each time i run my program, so i guess i need to built-in a tool in my program to do this for me. Is there any suggestionn how to implement this?? i also found some libraries like:    
<a href="http://symbolaris.com/orbital/Orbital-doc/api/orbital/moon/logic/ClassicalLogic.Utilities.html#conjunctiveForm(orbital.logic.imp.Formula)">Orbital library</a>. I am new to logic programming and i have never used them so, its quite difficult to get through them. I also tried to find an example to clear things up, but nothing came up. I am builting my program in java language. Please help...

Thanks in advance!
 
Convert clauses to CNF 
===

I want to transform my clauses to conjuctive normal form. Clauses are changed each time i run my program, so i guess i need to built-in a tool in my program to do this for me. Is there any suggestionn how to implement this?? i also found some libraries like:    
<a href="http://symbolaris.com/orbital/Orbital-doc/api/orbital/moon/logic/ClassicalLogic.Utilities.html#conjunctiveForm(orbital.logic.imp.Formula)">Orbital library</a>. I am new to logic programming and i have never used them so, its quite difficult to get through them. I also tried to find an example to clear things up, but nothing came up. I am builting my program in java language. Please help...

Thanks in advance!
 