A Derivation models the basic element used inside the Engine. One execution step of the Engine will always
relate to a single Derivation. It defines the Inputs required for it to be 'ready' as well the Fact under
which the result should be stored inside the context.
A
Derivation
models the basic element used inside theEngine
. One execution step of theEngine
will always relate to a singleDerivation
. It defines theInput
s required for it to be 'ready' as well theFact
under which the result should be stored inside the context.