I saw that there is an open issue for Opportunistic Backward Chaining:<br><a href="https://issues.jboss.org/browse/JBRULES-3272">https://issues.jboss.org/browse/JBRULES-3272</a><br><br>While I want to start working on this topic during my PhD thesis<br>
my question is if there is any work done on this?<br>Is there any possibility to contribute in solving this issue?<br>Of course I know that there is already Prolog Style Query Based<br>Backward Chaining implemented.<br>