[rules-dev] Anyone want to do a Tabling implementation for Backward Chaining?