conversion of clause form using an example || Knowledge Representation || Artificial Intelligence