public interface Derivation
A future option might be to generate an RDF description of the derivation trace.
|Modifier and Type||Method and Description|
Print a deep traceback of this derivation back to axioms and source assertions.
Return a short-form description of this derivation.
void printTrace(PrintWriter out, boolean bindings)
out- the stream to print the trace out to
bindings- set to true to print intermediate variable bindings for each stage in the derivation
Licenced under the Apache License, Version 2.0