#lang setup/infotab
(define name "Inference")
(define blurb
  (list "Implements a rule-based inference engine that supports both "
        "forward (data-driven) and backward (goal-driven) chaining."))
(define release-notes
  (list "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."))
(define categories '(scientific))
(define scribblings '(("scribblings/inference.scrbl" (multi-page))))
(define primary-file "inference.ss")
(define repositories
  (list "4.x"))