A frame language.
["Building Large Knowledge-Based Systems", Doug B. Lenat et al, A-W 1990].
Try this search on Wikipedia, OneLook, Google