#lang scheme
(require (planet schematics/schemeunit:3)
         (planet schematics/schemeunit:3/text-ui)
         "ast.ss"
         
         "private/lex.ss"
         "drscheme/syntax-color.ss"
         "parse.ss"
         "sexp.ss"
         
         "pretty.ss"
         
         "private/env.ss"
         "private/subst.ss"
         "private/unify.ss"
         "private/variant.ss"
         
         "runtime.ss"
         "eval.ss"         
         "private/compiler.ss"
         "private/planet.ss")

(run-tests
 (test-suite
  "Datalog"
  ast-tests
  
  lex-tests
  syntax-color-tests
  parse-tests
  sexp-tests
  
  pretty-tests
  
  env-tests
  subst-tests
  unify-tests
  variant-tests
  
  runtime-tests
  eval-tests
  
  compiler-tests
  planet-tests))