KRL
Evolution of
KRL-0 (6835)
Knowledge Representation Language