frame language

language for knowledge representation