2011/3/15 Toni Rikkola <toni.rikkola(a)gmail.com>
The verifier can actually find some gaps from rule sets. For example
uncovered checks for number values.
If you have
Person( age <18 )
it gives a warning that you might want to cover Person( age >= 18 ).
I'd say that such a warning may not be very useful because
- in many cases you may not be interested in the "other" values at all,
- in some cases 18, 19,... is handled with Person( age < 50 ) with low
salience (not recommended!),
- in many (other) cases you use a (low salience) "catch all" rule to
handle facts not selected by 1st order rules,
Moreover, I'm thinking of using additional rules with Verifier, with one of
the primary targets being "magic numbers".
But Verifier is a fine achievement, and the confiugration is here to get you
what you want!
-W
Toni Rikkola