How about Shen [1]?<p>A Lisp with types, built-in Prolog, optional lazy evaluation and more. It scratches my Lisp&#x2F;Haskell love affair.<p>[1]  <a href="http:&#x2F;&#x2F;shenlanguage.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;shenlanguage.org&#x2F;</a>