Q - Very high level language based on generalized (lazy) sequences.
Lexical scope, some support for logical and constraint programming.
Macros. Implemented in C++.
ftp://ftp.cygnus.com/pub/Q.*
Q Programming Language
http://www.programming-languages.co.uk/q.html
Large list of computer programming languages arranged alphabetically, with explanations.