onError

abstract val onError: EventStream<TuPrologException>

Fired for every TuPrologException that surfaces while parsing the current file/query or, more generally, driving the solver; used in place of throwing, since resolution happens asynchronously.