Parses text as Prolog source, then either appends its clauses/operators/flags to the solver's current ones (used by Consult) or, if not append, replaces them wholesale (used by SetTheory itself, which always calls this with append = false).
if text is not well-formed Prolog source text.