An A.L.I.C.E. clone implemented using common lisp and prolog