Qi - функциональный язык программирования, реализованный поверх Common Lisp. Имеет опциональную статическую систему типов, основанную на секвенциальном исчислении, и общее направление на логическое программирование.