Rudimentary demonstration of the Reformulation Algorithm. Enter a conjunctive query and press reformulate to see the reformulation. Click on links at the bottom of the page for some example of reformulations. Note: only a portion of the algorithm is implemented here. The full algorithm will be available soon.
query(X,Y,Z) :- p(X,A) & q(X,A) & r(Y,Z)
Examples to try: