rete/src

The engine in four files, read in this order: domain.rs (the vocabulary a host supplies and the types of a rule), network.rs (the Rete network and the step that decides), trace.rs (the loop for a host that answers synchronously, and what it records) and load.rs (rules as data). tests.rs holds all of it to its promises on a small domain of its own.

FileWhat
domain.rsDomain, Test, Then, Rule, Known.
network.rsNetwork, Next, State, and decide.
trace.rsHost, Run, Trace, Record.
load.rsload, load_specs, export, LoadError.
tests.rsThe tests.