úÎ n 2      !"#$%&'()*+,-./01 234567 89:234567 ;<=:>2433457667   :?@ABCDEFDFGHIJKLDFMNOPQR S!"  !"  !"$ #$%&'()*+,-$.  !"#$%&'()*+,-0 OQ !"#$%&'()*+,-/    !"#$%&'()*+,- TU./01./01./01  V   !"#$%&'()*+,-./0123456 7 8 9 :;<=>?@ABCDEFGHIJKLLMNOPQRSTUVVWWX Y Z[ prolog-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 AssocLeftOperatorInfixOpPrefixOpparensIf operatorTable hierarchyfoldr_plconsnil argumentssame unifyListsimplifyDB Signature signature hasPredicatecreateDB getClausesassertaassertzabolishBranchStackNoGraphTTracebuiltinsparsePrologExpparsePrologPat