This is OCML, the Operational Conceptual Modelling Language.  OCML
combines logical reasoning in a frame-based language with the
flexibility of extra-logical facilities like procedural attachment.

OCML was originally conceived, designed, and implemented by Enrico
Motta.

It is implemented in Common Lisp, and has been tested with Lispworks,
SBCL, and Allegro implementations.