#lang setup/infotab
(define name "Datalog Language for DrScheme")
(define tools '(("tool.ss")))
(define tool-icons '("datalog.png"))
(define tool-names '("Datalog"))
(define tool-urls '("http://en.wikipedia.org/wiki/Datalog"))