explore support for prolog-style rules #1
Description
Explore the possibility to support update rules in a format similar to the
one used in prolog-trindikit.
The main differences between the prolog and python rule mechanisms are
backtracking (in preconditions / queries) and unification (in
preconditions, and between preconditions and effects).
Original issue reported on code.google.com by [email protected] on 14 Dec 2009 at 2:41