# Datalog conformance config — sourced by lib/guest/conformance.sh.

LANG_NAME=datalog
MODE=dict

PRELOADS=(
  lib/datalog/tokenizer.sx
  lib/datalog/parser.sx
  lib/datalog/unify.sx
  lib/datalog/db.sx
  lib/datalog/builtins.sx
  lib/datalog/aggregates.sx
  lib/datalog/strata.sx
  lib/datalog/eval.sx
  lib/datalog/api.sx
  lib/datalog/magic.sx
  lib/datalog/demo.sx
)

SUITES=(
  "tokenize:lib/datalog/tests/tokenize.sx:(dl-tokenize-tests-run!)"
  "parse:lib/datalog/tests/parse.sx:(dl-parse-tests-run!)"
  "unify:lib/datalog/tests/unify.sx:(dl-unify-tests-run!)"
  "eval:lib/datalog/tests/eval.sx:(dl-eval-tests-run!)"
  "builtins:lib/datalog/tests/builtins.sx:(dl-builtins-tests-run!)"
  "semi_naive:lib/datalog/tests/semi_naive.sx:(dl-semi-naive-tests-run!)"
  "negation:lib/datalog/tests/negation.sx:(dl-negation-tests-run!)"
  "aggregates:lib/datalog/tests/aggregates.sx:(dl-aggregates-tests-run!)"
  "api:lib/datalog/tests/api.sx:(dl-api-tests-run!)"
  "magic:lib/datalog/tests/magic.sx:(dl-magic-tests-run!)"
  "demo:lib/datalog/tests/demo.sx:(dl-demo-tests-run!)"
)
