A language about... lisp, smalltalk, prolog, and stuff.