Module ai_kit::pedigree [−] [src]

The pedigree module implements functionality for tracking which Unify and Operation structures were used to derive a new Unify.

Structs

InferenceChain
InferenceGraph	Provide a convenient interface to a particular inference graph.
InferenceGraphBackwardIterator	Used for iterating through the ancestry for a given inference
InferenceGraphBuilder
Origin	Represent the origin of a particular Unify
Pedigree