Finally think I've got something here.  I can demonstrate nested rule
validation.  It works by assuming the rule conclusion is true and
working backwards.  I use recursion to determine the validity of
predicates (though it only has to find one "valid" rule to make the
calling rule statement valid for that particular predicate).
Merge branch 'master' of https://github.com/nsharmon/jpro.git