úÎ÷ƒ       printEnv6 prints a single solution, showing only the variables + that were introduced in the original goal              NanoProlog-0.1Language.Prolog.NanoProlog.LibsubstResult ApplyRulesDoneNoneRule:<-:TermFunVar LowerCaseemptyEnvunifysolveenumerateDepthFirstshow' startParsepTermpFunpRuleSubstEnvTaggabletag UpperCase showCommaspVarpTerms