Top level where expressions for nested rules are applied to both the nested and parent rule

Issue #27 resolved
Sean Kauffman repo owner created an issue

The following rules break

D :- ((A BEFORE B) BEFORE C) where
D :- ((A BEFORE B) BEFORE C) where ( =

The problem is that the expression references only the nested rule. The result is that the restriction is correctly applied to that rule but also incorrectly applied to the top level rule.

Comments (1)

  1. Log in to comment