Package inference.plt contributed by williams [docs]
To load: (require (planet williams/inference:2:8/inference))
Old style:(require (planet "inference.ss" ("williams" "inference.plt" 2 8)))
Package description:
Implements a rule-based inference engine that supports both forward (data-driven) and backward (goal-driven) chaining.
Downloads this week: 1
Total downloads: 746
Tickets:3
Open tickets:1
Primary files:
 Current version
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(2 8)
115
[none]2011-10-03
To load: (require (planet williams/inference:2:8/inference))
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.
 Open tickets
[All Tickets] [New Ticket]
Ticket IdOwnerReporterTypeVersion
207williamswilliamsdefect(2 3)
Sudoku example doesn't work

 Old versions
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(2 7)
58
[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)
31
[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)
5
[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)
0
[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)
21
[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)
3
[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)
18
[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)
69
[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.
(1 3)1.3
279
[none]2007-04-01
To load: (require (planet "inference.ss" ("williams" "inference.plt" 1 (= 3))))
Available in repositories: 4.x, 3xx
[no release notes]
(1 2)1.2
132
[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
7
[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
8
[none]2007-04-01
To load: (require (planet "inference.ss" ("williams" "inference.plt" 1 (= 0))))
Available in repositories: 3xx, 4.x
[no release notes]