Previous topic  Top  Next topic  Print this Topic
 

Eliminate Redundant Literals

 

If literals occur in both the body and head of the rule then they can be removed from the head. E.g. if you have

?X:"Person" AND ?X["hasName"->?N] :- ?X:"Person" AND ?X["hasLastName"->?N].

then this rewriter eliminates the "X:Person" in the head and replaces the rule by

?X["hasName"->?N] :- ?X:"Person" AND ?X["hasLastName"->?N].

It is recommended that you leave this optimizer always activated.