CYCL

A frame language.

["Building Large Knowledge-Based Systems", Doug B. Lenat et al, A-W 1990].