[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 


for more information.

Posted on the planet-announce mailing list.