building an OperatorsContext in each query (an object that knows about the currently defined Prolog operators). Adding support for pretty print terms based on such OperatorsContext.