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