(SRL)
["SRL/2 Users Manual", J.M. Wright et al, Robotics Inst, CMU, 1984].
Try this search on Wikipedia, OneLook, Google
Nearby terms: Schelog « schema « Schema Definition Set « Schema Representation language » schematic capture » schematic type variable » Schematik
