ShenLisp

Combines a LispLanguage with a TypeSystem based on a SequentCalculus (a PrologLanguage-like inference engine.)

http://shenlanguage.org/