THEO

A frame-based language.

"Theo: A Framework for Self-Improving Systems", T. M. Mitchell et al, in Architectures for Intelligence, K. VanLehn ed, Erlbaum, 1989.