Running rules


--apply=foo
Read rules from foo, apply to store, adding conclusions to store
--rules
Apply once the rules in the store to the store, adding conclusions to the store
--filter=foo
Apply rules in foo to the store, REPLACING the store with the conclusions
--think
Apply rules in the store to the store, adding conclusions to the store, iteratively until no more conclusions made