常識的な観点から言わせて貰うと以下のリストは出来て*当然

Smalltalk,Scheme,Haskell,Prolog,Occum