úÎ& À2      !"#$%&'()*+,-./01  Safe-Infered"234567 89:;<=>?@234567 89:;<243576   89:;<=>?@ Safe-Infered Safe-Infered ABCDEFGHIABCDEFGH ABCDEFGHINone !"JKLMNOP  !"  !"JKLMNOP Safe-Infered #$%&'()*+,- #$%&'()*+,- #$%&'()*+,- Safe-Infered.  !"#$%&'()*+,- Safe-Infered.  !"#$%&'()*+,-/    !"#$%&'()*+,- None./01QR./01./01QR Safe-Infered./01./01  Safe-InferedSTUSTU  Safe-InferedV   !"#$%&'()*+,-./0123456 7 8 9 :;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXY Z [ \ ] ^_prolog-0.2.0.1Language.PrologLanguage.Prolog.QuoteSyntaxUnifierDatabase InterpreterParserPrologQuoteIsStringLanguage.Prolog.IsStringProgramGoalAtom VariableNameClauseClauseFnfnlhsrhs_TermCutWildcardVarStructvarcutrhs Substitutionunifyunify_with_occurs_check+++apply runNoGraphT MonadGraphGencreateConnections markSolutionmarkCutBranches withTrace MonadTracetraceresolveresolve_consult consultString parseQueryprogram whitespacecommentclausetermstermbottomvnamettscplAssoc AssocRight AssocLeftOperatorInfixOpPrefixOpfoldr_plconsnil hierarchy arguments $fShowClause$fShowVariableName $fShowTerm $fOrdTerm Signature signature hasPredicatecreateDB getClausesassertaassertzabolish$fShowSignature$fMonadGraphGenNoGraphT$fMonadTransNoGraphT$fMonadGraphGenReaderT $fMonadTracet$fMonadTraceEither$fMonadTraceIO$fMonadTraceTrace $fLift(->) $fLiftTerm$fIsStringVariableName$fIsStringTerm$fIsStringClause