Warning:
This wiki has been archived and is now read-only.
Chaining strategy numeric-subtract 1
From RIF
| Test Type | PositiveEntailmentTest | ||||
|---|---|---|---|---|---|
| Contributor | Axel Polleres | ||||
| Status | Approved | ||||
| Record | F2F11 | ||||
| Dialect | BLD | ||||
| Purpose | This test highlights the different behavior of forward-chaining vs. backward-chaining engines | ||||
| Description | The entailment holds, but some engines may have difficulty finding it and/or may behave badly with it. This particular test case may be hard to handle for forward-chaining engines, depending on their implementation of the func:numeric-subtract builtin. In a backward-chaining strategy, the entailment should be found. Note that a backward-chaining engine, however, might have run into non-termination problems when the same ruleset is used to test conc=ex:a(0), since there is no termination condition in the body. | ||||
| SeeAlso | Chaining_strategy_numeric-add_1 Chaining_strategy_numeric-add_2 | ||||
| SpecRef | http://www.w3.org/2005/rules/wiki/DTB#func:numeric-add_.28adapted_from_op:numeric-add.29 | ||||
| Premises |
|
||||
| Conclusion |
|