functional, logic, purely functional, object-oriented
static system, strong typing
Haskell, Prolog, Hope
m, moo