Where clauses do not work for atomic rules

There is something wrong with how fields are parsed that leads to failures on rules of the type

C :- A where A.foo

This should copy A to C where A.foo is true, but semantic analysis fails to record the foo field somehow and -1 is used for the field key in the where expression! This is real bad, and probably is a regression due to the massive changes to fix rule nesting that more-or-less assumed a binary interval expression at all times.

Comments (1)