THEO - Frame language. "Theo: A Framework for Self-Improving Systems",
Mitchell et al, in Architectures for Intelligence, K. VanLehn ed, Erlbaum,
1989.
THEO Programming Language
http://www.programming-languages.co.uk/theo.html
Large list of computer programming languages arranged alphabetically, with explanations.