[plt-planet-announce] Updated PLaneT package: williams/inference.plt for 4.x

From: PLaneT (planet at racket-lang.org)
Date: Mon Oct 3 13:18:05 EDT 2011

This announces the availability of an updated package from PLaneT:

-------
Name:            inference.plt
Package version: 2.8
Owner:           williams


Package Description
Implements a rule-based inference engine that supports both forward (data-driven) and backward (goal-driven) chaining.
Release Notes
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.
-------

Go to 

http://planet.racket-lang.org/display.ss?package=inference.plt&owner=williams

for more information.


Posted on the planet-announce mailing list.