[SOL (Semantic Operating Language) + LOGO]. A variant of

LOGO with primitives for dealing with semantic networks

and pattern matching rather than lists.