Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Diff of /examples/notany/README.txt [495079] .. [6de8ee] Maximize Restore

  Switch to unified view

a/examples/notany/README.txt b/examples/notany/README.txt
...
...
5
The forward-chaining and backward-chaining rules are in two different .krb
5
The forward-chaining and backward-chaining rules are in two different .krb
6
files showing examples of use of the 'notany' clause in both cases.
6
files showing examples of use of the 'notany' clause in both cases.
7
7
8
These rules find all people who have no aunts all people with no uncles.
8
These rules find all people who have no aunts all people with no uncles.
9
9
10
    >>> import run
10
    >>> import driver
11
11
12
    # uses fc_notany.krb
12
    # uses fc_notany.krb
13
    >>> run.fc_test()
13
    >>> driver.fc_test()
14
    egon has no uncle
14
    egon has no uncle
15
    ralf has no uncle
15
    ralf has no uncle
16
    anton has no uncle
16
    anton has no uncle
17
    elisabeth has no uncle
17
    elisabeth has no uncle
18
    karin has no uncle
18
    karin has no uncle
...
...
21
    elisabeth has no aunt
21
    elisabeth has no aunt
22
    karin has no aunt
22
    karin has no aunt
23
    sabine has no aunt
23
    sabine has no aunt
24
24
25
    # uses bc_notany.krb
25
    # uses bc_notany.krb
26
    >>> run.bc_test()
26
    >>> driver.bc_test()
27
    anton has no aunt
27
    anton has no aunt
28
    elisabeth has no aunt
28
    elisabeth has no aunt
29
    karin has no aunt
29
    karin has no aunt
30
    sabine has no aunt
30
    sabine has no aunt
31
    egon has no uncle
31
    egon has no uncle