Logic Tester [with direct input of rules & facts, Dyn Module, dev.]