Tree [efe1d1] default / examples / notany /
 History

Read Only access


File Date Author Commit
 README 2009-01-13 mtnyogi mtnyogi [31b2a6] - Fix for bug 2496575.
 __init__.py 2008-12-29 mtnyogi mtnyogi [5d0d34] - Changed second param to engine.__init__ to be...
 bc_notany.krb 2008-08-29 mtnyogi mtnyogi [0ee160] Finished with the documentation! (Well, almost...
 family.kfb 2008-08-29 mtnyogi mtnyogi [0ee160] Finished with the documentation! (Well, almost...
 fc_notany.krb 2008-08-29 mtnyogi mtnyogi [0ee160] Finished with the documentation! (Well, almost...
 notany.tst 2009-10-24 mtnyogi mtnyogi [3e0ae6] Cleaning up test scripts.
 test.py 2009-01-13 mtnyogi mtnyogi [31b2a6] - Fix for bug 2496575.

Read Me

This is a small example of the 'notany' clause used to verify that none of
the elements of a list meet a certain requirement.  This is done in both
forward-chaining and backward-chaining rules.

The forward-chaining and backward-chaining rules are in two different .krb
files showing examples of use of the 'notany' clause in both cases.

These rules find all people who have no aunts all people with no uncles.

    >>> from examples.notany import test
    >>> test.fc_test()
    ... prints out everybody that doesn't have any step brothers or sisters ...
    >>> test.bc_test()
    ... prints out everybody that doesn't have any step brothers or sisters ...

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks