To load: | (require (planet williams/inference:1:3/inference)) | ||||||||
Old style: | (require (planet "inference.ss" ("williams" "inference.plt" 1 3))) | ||||||||
Package description: | Implements a rule-based inference engine that supports both forward (data-driven) and backward (goal-driven) chaining. | ||||||||
Downloads this week: | 0 | ||||||||
Total downloads: | 996 | ||||||||
Tickets: | 3 | ||||||||
Open tickets: | 1 | ||||||||
Primary files: |
|
Current version |
PLaneT version | External version | Source | DLs | Docs | Req. PLT | Date added |
(1 3) | 1.3 | [browse] | 279 | [docs] | [none] | 2007-04-01 |
To load: (require (planet williams/inference:1:3/inference)) | ||||||
Available in repositories: 4.x, 3xx | ||||||
[no release notes] |
Open tickets |
Ticket Id | Owner | Reporter | Type | Version |
---|---|---|---|---|
207 | williams | williams | defect | (2 3) |
Sudoku example doesn't work |
Old versions |
PLaneT version | External version | Source | DLs | Docs | Req. PLT | Date added |
(1 2) | 1.2 | [browse] | 132 | [docs] | [none] | 2007-04-01 |
To load: (require (planet "inference.ss" ("williams" "inference.plt" 1 (= 2)))) | ||||||
Available in repositories: 4.x, 3xx | ||||||
[no release notes] | ||||||
(1 1) | 1.0 | [browse] | 7 | [docs] | [none] | 2007-04-01 |
To load: (require (planet "inference.ss" ("williams" "inference.plt" 1 (= 1)))) | ||||||
Available in repositories: 4.x, 3xx | ||||||
[no release notes] | ||||||
(1 0) | 1.0 | [browse] | 8 | [docs] | [none] | 2007-04-01 |
To load: (require (planet "inference.ss" ("williams" "inference.plt" 1 (= 0)))) | ||||||
Available in repositories: 3xx, 4.x | ||||||
[no release notes] |
Packages in other repositories |
These packages are not available in the 3xx repository, but they are available for other versions of Racket.
PLaneT version | External version | Source | DLs | Docs | Req. PLT | Date added |
(2 8) | — | [browse] | 365 | [docs] | [none] | 2011-10-03 |
To load: (require (planet "inference.ss" ("williams" "inference.plt" 2 (= 8)))) | ||||||
Available in repositories: 4.x | ||||||
Added query*-values and query*-values* as query* versions of query-values and query-values*. Also changed the printing of assertions to use the error print limits. | ||||||
(2 7) | — | [browse] | 58 | [docs] | [none] | 2010-06-18 |
To load: (require (planet "inference.ss" ("williams" "inference.plt" 2 (= 7)))) | ||||||
Available in repositories: 4.x | ||||||
Added query*, which is like query but also returns subclass matches (i.e., anything that would match pattern as a precondition). Also added sorted-query* and in-query* to the utilities. | ||||||
(2 6) | — | [browse] | 31 | [docs] | [none] | 2010-04-08 |
To load: (require (planet "inference.ss" ("williams" "inference.plt" 2 (= 6)))) | ||||||
Available in repositories: 4.x | ||||||
Added simple truth maintenance using assertion hooks. This allows a class to specify actions when facts in that class are asserted or retracted. | ||||||
(2 5) | — | [browse] | 5 | [docs] | [none] | 2010-03-11 |
To load: (require (planet "inference.ss" ("williams" "inference.plt" 2 (= 5)))) | ||||||
Available in repositories: 4.x | ||||||
Fixed a bug that caused activate to fail when all of the preconditions for a rule were reused. Also changed the assertion and trace outputs for improved readability. | ||||||
(2 4) | — | [browse] | 0 | [docs] | [none] | 2010-03-07 |
To load: (require (planet "inference.ss" ("williams" "inference.plt" 2 (= 4)))) | ||||||
Available in repositories: 4.x | ||||||
Fixed issue @263, Towers of Hanoi example in docs have wrong number of disksin output. Changed matching to use equal? instead of eqv? so pattern elementcan now be lists. Added some new query utilities. | ||||||
(2 3) | — | [browse] | 21 | [docs] | [none] | 2009-09-30 |
To load: (require (planet "inference.ss" ("williams" "inference.plt" 2 (= 3)))) | ||||||
Available in repositories: 4.x | ||||||
Fixed issue @206, Scribble build error. | ||||||
(2 2) | — | [browse] | 3 | [docs] | [none] | 2009-09-14 |
To load: (require (planet "inference.ss" ("williams" "inference.plt" 2 (= 2)))) | ||||||
Available in repositories: 4.x | ||||||
Fixes errors in copying nodes. | ||||||
(2 1) | — | [browse] | 18 | [docs] | [none] | 2009-08-10 |
To load: (require (planet "inference.ss" ("williams" "inference.plt" 2 (= 1)))) | ||||||
Available in repositories: 4.x | ||||||
Version 2.1 adds an ontology definition capability. | ||||||
(2 0) | — | [browse] | 69 | [docs] | [none] | 2009-02-05 |
To load: (require (planet "inference.ss" ("williams" "inference.plt" 2 (= 0)))) | ||||||
Available in repositories: 4.x | ||||||
Version 2.0 runs under PLT Scheme Version 4.0 (and later) and includes new Scribble documentation. |