Sample Deduction Applet

All features disabled:
AIspace Applet failed to load. Is Java enabled in your browser?
create new query, fine step, step, auto search, stop search, reset query, autoscale, reset edge labels

Algorithm: depth first, breadth first, best first, heuristic depth first, user defined