Lispじゃないけど昔Turbo Prologってのがあったね。
腐ってたが。