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

From: PLaneT (planet at racket-lang.org)
Date: Fri Jun 18 09:24:32 EDT 2010

This announces the availability of an updated package from PLaneT:

Name:            inference.plt
Package version: 2.7
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*, 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.

Go to 


for more information.

Posted on the planet-announce mailing list.