((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning
PLaneT > williams > inference.plt
View packages:  4.x | [3xx]
[contribute a package / log in]
Package inference.plt contributed by williams 
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:0
Open tickets:0
Primary files:
inference.ss
NameContract
(all-from private/inference-environments.ss)—
(all-from private/rulesets.ss)—
(all-from private/inference-control.ss)—
 Current version
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(1 3)1.3
279
[none]
[none]Sunday, April 1st, 2007
To load: (require (planet williams/inference:1:3/inference))
Available in repositories: 4.x, 3xx
[no release notes]
No Tickets Currently open for this Package [New Ticket]

 Old versions
PLaneT versionExternal versionSourceDLsDocsReq. PLTDate added
(1 2)1.2
132
[none]
[none]Sunday, April 1st, 2007
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]
[none]Sunday, April 1st, 2007
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]
[none]Sunday, April 1st, 2007
To load: (require (planet "inference.ss" ("williams" "inference.plt" 1 (= 0))))
Available in repositories: 4.x, 3xx
[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 versionExternal versionSourceDLsDocsReq. PLTDate added
(2 8)—
365
[none]
[none]Monday, October 3rd, 2011
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)—
58
[none]
[none]Friday, June 18th, 2010
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]
[none]Thursday, April 8th, 2010
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]
[none]Thursday, March 11th, 2010
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]
[none]Sunday, March 7th, 2010
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]
[none]Wednesday, September 30th, 2009
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]
[none]Monday, September 14th, 2009
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]
[none]Monday, August 10th, 2009
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]
[none]Thursday, February 5th, 2009
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.