LISP:
Prolog:
http://en.wikipedia.org/wiki/Prolog
- Logic programming
- No types
- Horn clause
- good:
for some AI: natural language
usable for parsers
solving problems tightly involved with logic
protoying - bad:
arithmetics
not really correspond well to logic e.g. : p->p
efficient
Factor:
factorcode.org
- concatenative language
- meta-programming
- stack based
- dynamiclly typed
SML:
http://en.wikipedia.org/wiki/Standard_ML