úÎJÖ      printEnv6 prints a single solution, showing only the variables + that were introduced in the original goal            NanoProlog-0.1.2Language.Prolog.NanoProlog.LibSubstsubstResult ApplyRulesDoneNoneTaggabletagRule:<-:TermFunVar LowerCaseemptyEnvunifysolveenumerateDepthFirstshow' startParsepTermpFunpRuleEnv UpperCase showCommaspVarpTerms