(module info (lib "infotab.ss" "setup")
  (define name "Inference")
  (define blurb
    (list "Implements a rule-based inference engine that supports both "
          "forward (data-driven) and backward (goal-driven) chaining."))
  (define categories '(scientific))
  (define doc.txt "doc.txt")
  (define primary-file "inference.ss")
  (define version "1.0")
  )