http://wiki.jboss.org/wiki/Wiki.jsp?page=BackwardChaining
Feedback welcome. --------------------------------------------------------------------- To unsubscribe from this list please visit: http://xircles.codehaus.org/manage_email
I'm starting to put together some notes for a backward chaining
implementation based around predicates and ariety, i.e. prolog:
