ResolutionCursor

A single, stateful run of one query, advanced one ResolutionStep at a time - the toolkit-neutral equivalent of a Prolog solution iterator.

Functions

abstract suspend fun cancel()

Requests cancellation of the underlying computation, where supported.

abstract suspend fun next(): ResolutionStep

Computes one observable resolution step.