SML: symbolic manipulation language. A graphic-orientid language for the description of a logic interpreter. - Dimitris Karagiannis; Wolfgang Salzmann (Inf. Syst., 1990)