[SOL (Semantic Operating Language) + LOGo]. A variant of LOGo with primitives for dealing with semantic networks and pattern matching rather than lists. ["A User-Friendly Software Environment for the Novice Programmer", M. Eisenstadt , CACM 27(12):1056-1064 (1983)].