If course it’s written in lisp. Though I’d expect it to be more like EURISKO or Cyc, instead of a more conversational ai.