#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 "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."))
(define categories '(scientific))
(define scribblings '(("scribblings/inference.scrbl" (multi-page))))
(define primary-file "inference.ss")
(define repositories
  (list "4.x"))