Create factlisp.lisp