Rete is a simple library for implementing rule based systems using the Rete algorithm.
Rete currently implements memory for Julia types, forward chaining joins, and backward chaining filter and extrema operations.
See the documentation linked above.
Rete.jl is used extensively in SquareDanceReasoning.jl. See the formations code for real examples of rules and the use of Rete.jl.