Diff of /Test/examples/family_relations.tst [495079] .. [6de8ee] Maximize Restore

  Switch to unified view

a/Test/examples/family_relations.tst b/Test/examples/family_relations.tst
...
...
5
    >>> import os
5
    >>> import os
6
    >>> new_path = os.path.join(os.path.dirname(os.path.dirname(pyke.__file__)),
6
    >>> new_path = os.path.join(os.path.dirname(os.path.dirname(pyke.__file__)),
7
    ...                         'examples/family_relations')
7
    ...                         'examples/family_relations')
8
    >>> sys.path.append(new_path)
8
    >>> sys.path.append(new_path)
9
9
10
    >>> import run
10
    >>> import driver
11
11
12
    >>> run.fc_test()      # doctest: +ELLIPSIS
12
    >>> driver.fc_test()      # doctest: +ELLIPSIS
13
    doing proof
13
    doing proof
14
    bruce, thomas are ('son', 'father')
14
    bruce, thomas are ('son', 'father')
15
    bruce, norma are ('son', 'mother')
15
    bruce, norma are ('son', 'mother')
16
    bruce, frederik are (('grand', 'son'), ('grand', 'father'))
16
    bruce, frederik are (('grand', 'son'), ('grand', 'father'))
17
    bruce, mary are (('grand', 'son'), ('grand', 'mother'))
17
    bruce, mary are (('grand', 'son'), ('grand', 'mother'))
...
...
55
    fc_example: 20 fc_rules, 6772 triggered, 892 rerun
55
    fc_example: 20 fc_rules, 6772 triggered, 892 rerun
56
    fc_example: 0 bc_rules, 0 goals, 0 rules matched
56
    fc_example: 0 bc_rules, 0 goals, 0 rules matched
57
                0 successes, 0 failures
57
                0 successes, 0 failures
58
    fc time ..., ... asserts/sec
58
    fc time ..., ... asserts/sec
59
59
60
    >>> run.bc_test()      # doctest: +ELLIPSIS
60
    >>> driver.bc_test()      # doctest: +ELLIPSIS
61
    doing proof
61
    doing proof
62
    bruce, thomas are ('son', 'father')
62
    bruce, thomas are ('son', 'father')
63
    bruce, norma are ('son', 'mother')
63
    bruce, norma are ('son', 'mother')
64
    bruce, frederik are (('grand', 'son'), ('grand', 'father'))
64
    bruce, frederik are (('grand', 'son'), ('grand', 'father'))
65
    bruce, mary are (('grand', 'son'), ('grand', 'mother'))
65
    bruce, mary are (('grand', 'son'), ('grand', 'mother'))
...
...
103
    bc_example: 26 bc_rules, 31950 goals, 112099 rules matched
103
    bc_example: 26 bc_rules, 31950 goals, 112099 rules matched
104
                17150 successes, 112099 failures
104
                17150 successes, 112099 failures
105
    family: 9 fact names, 94 universal facts, 0 case_specific facts
105
    family: 9 fact names, 94 universal facts, 0 case_specific facts
106
    bc time ..., ... goals/sec
106
    bc time ..., ... goals/sec
107
107
108
    >>> run.bc2_test()      # doctest: +ELLIPSIS
108
    >>> driver.bc2_test()      # doctest: +ELLIPSIS
109
    doing proof
109
    doing proof
110
    bruce, thomas are ('son', 'father')
110
    bruce, thomas are ('son', 'father')
111
    bruce, norma are ('son', 'mother')
111
    bruce, norma are ('son', 'mother')
112
    bruce, frederik are (('grand', 'son'), ('grand', 'father'))
112
    bruce, frederik are (('grand', 'son'), ('grand', 'father'))
113
    bruce, mary are (('grand', 'son'), ('grand', 'mother'))
113
    bruce, mary are (('grand', 'son'), ('grand', 'mother'))
...
...
151
    bc2_example: 29 bc_rules, 315 goals, 1202 rules matched
151
    bc2_example: 29 bc_rules, 315 goals, 1202 rules matched
152
                 272 successes, 1202 failures
152
                 272 successes, 1202 failures
153
    family: 9 fact names, 94 universal facts, 0 case_specific facts
153
    family: 9 fact names, 94 universal facts, 0 case_specific facts
154
    bc time ..., ... goals/sec
154
    bc time ..., ... goals/sec
155
155
156
    >>> run.test()      # doctest: +ELLIPSIS
156
    >>> driver.test()      # doctest: +ELLIPSIS
157
    doing proof
157
    doing proof
158
    bruce, thomas are son, father
158
    bruce, thomas are son, father
159
    bruce, norma are son, mother
159
    bruce, norma are son, mother
160
    bruce, frederik are grand son, grand father
160
    bruce, frederik are grand son, grand father
161
    bruce, mary are grand son, grand mother
161
    bruce, mary are grand son, grand mother
...
...
201
    family: 9 fact names, 94 universal facts, 422 case_specific facts
201
    family: 9 fact names, 94 universal facts, 422 case_specific facts
202
    fc time ..., ... asserts/sec
202
    fc time ..., ... asserts/sec
203
    bc time ..., ... goals/sec
203
    bc time ..., ... goals/sec
204
    total time ...
204
    total time ...
205
205
206
    >>> run.general('bruce')      # doctest: +ELLIPSIS
206
    >>> driver.general('bruce')      # doctest: +ELLIPSIS
207
    doing proof
207
    doing proof
208
    bruce, thomas are ('son', 'father')
208
    bruce, thomas are ('son', 'father')
209
    bruce, norma are ('son', 'mother')
209
    bruce, norma are ('son', 'mother')
210
    bruce, frederik are (('grand', 'son'), ('grand', 'father'))
210
    bruce, frederik are (('grand', 'son'), ('grand', 'father'))
211
    bruce, mary are (('grand', 'son'), ('grand', 'mother'))
211
    bruce, mary are (('grand', 'son'), ('grand', 'mother'))