How would it be forward chaining? It is just a Prolog clause with single sided unification and an implicit commit (cut). The search for rules is the same, only the matching differs. The simplest answer to forward chaining is tabling 
How would it be forward chaining? It is just a Prolog clause with single sided unification and an implicit commit (cut). The search for rules is the same, only the matching differs. The simplest answer to forward chaining is tabling