Qi is some kind of functional language with static typing, pattern matching and backtracking; implemented in lisp, with access to lisp.