u Clips:
n rule based, forward chaining
n http://www.ghgcorp.com/clips/CLIPS.html
u Flex:
n Prolog language, Hybrid
u Flops
n forward chaining
u M1:
n rule based, backward chaining
n certainty factor, Meta rules, “unknown”, “why?”, “show”
u Many others…