NoChangesStep
engine
Node
derivations
NoopEvaluation
engine
name
Fact
ListFact
OriginFact
SingularFact
SynthesizedFact
nl
root
notExists
Conditions