[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 C@open.aC.uk>, CACM 27(12):1056-1064 (1983)].