Prolog
Prolog is a programming language based around logical assertions. The name is a shortened form of "PROgramming in LOGic".

Common Lisp implementations: