Create AI_CNF_converson.lisp