halt

Creates an aborted (Halt) solution for query, carrying exception.


fun halt(signature: Signature, arguments: List<Term>, exception: ResolutionException): Solution.Halt

Same as halt, but building the query out of signature and arguments.