úΜ      Safe-InferedprintEnv6 prints a single solution, showing only the variables + that were introduced in the original goal             !NanoProlog-0.1.3Language.Prolog.NanoProlog.LibSubstsubstResult ApplyRulesDoneTaggabletagRule:<-:TermFunVar LowerCaseemptyEnvunifysolveenumerateDepthFirstshow' startParsepTermpFunpRulepTerms $fShowRule $fShowTerm $fSubstRule $fSubstTerm $fSubst[] $fTaggable[]$fTaggableRule$fTaggableTerm