How to find rules which might be conflicted in JESS? -

If I have defined rules set in jess, then what can be done to find out the rules, as a result Conflicts may be based on defined patterns

(rule 1 (pattern? X) => (printout t "rule 1 was removed"))

(rule 2 (pattern ? X defufle defufle) => (Printout T "Rule 2 was removed"))

However, there are conflict in the future to find the two rules defined above. Singing, if not time to activate an actual list of all the rules?

I do not know what you call "conflict". If there are two rules that set fire to similar or nearly identical conditions, then this is either what either the programmer wants and will do it; It is not "struggle" in common sense of the word. However, if the result is not according to specs, then this is just a bug.

Any two non-trivial identities (your example is trivial) is a work that requires the answer to this question whether any set of fact item frequencies can be set to two rules It is equivalent to answering the question whether the rule A defines a set that defines the definition of rule B (or vice versa).

If obstacles are simple, then a clever analysis of the values ​​of contraining - but in general, it is not as easy as that. Compulsions arbitrariliy can use complex functions.