datalog

An implementation of the Datalog language

Build status:

Authors
Documentation
Tags
Last updatedTuesday, August 15th, 2017 4:51:21pm (UTC)
Ring0
ConflictsNone
Dependencies
Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgit://github.com/racket/datalog5947d56e93c083d1b2623240e8741237ce84b69f
    Last checkedTuesday, October 17th, 2017 5:10:12am (UTC)
    Last editedThursday, December 4th, 2014 2:19:43am (UTC)
    Modules
    • datalog/scribblings/tutorial.scrbl
    • datalog/scribblings/utils.rkt
    • datalog/tests/ast.rkt
    • datalog/tests/examples/empty.rkt
    • datalog/tests/eval.rkt
    • datalog/tests/examples/says.rkt
    • datalog/private/compiler.rkt
    • datalog/pretty.rkt
    • datalog/tool/syntax-color.rkt
    • datalog/tests/examples/pq.rkt
    • datalog/scribblings/datalog.scrbl
    • datalog/private/env.rkt
    • datalog/private/unify.rkt
    • datalog/lang/configure-runtime.rkt
    • datalog/tests/paren-examples/revpath.rkt
    • datalog/tests/paren-examples/ancestor.rkt
    • datalog/tests/examples/long.rkt
    • datalog/tests/tool/syntax-color.rkt
    • datalog/tests/paren-examples/true.rkt
    • datalog/tests/test-docs-complete.rkt
    • datalog/tests/examples/tutorial.rkt
    • datalog/tests/examples/path.rkt
    • datalog/tests/parse.rkt
    • datalog/tests/private/env.rkt
    • datalog/tests/examples/bidipath.rkt
    • datalog/tests/paren-examples/tutorial.rkt
    • datalog/tests/paren-examples/empty.rkt
    • datalog/parse.rkt
    • datalog/main.rkt
    • datalog/tests/main.rkt
    • datalog/private/variant.rkt
    • datalog/tests/paren-examples/pq.rkt
    • datalog/tests/private/variant.rkt
    • datalog/ast.rkt
    • datalog/tests/util.rkt
    • datalog/lang/lang-info.rkt
    • datalog/private/subst.rkt
    • datalog/private/pprint.rkt
    • datalog/sexp/lang/reader.rkt
    • datalog/eval.rkt
    • datalog/tests/examples/laps.rkt
    • datalog/tests/paren-examples/add1.rkt
    • datalog/private/lex.rkt
    • datalog/tool/submit.rkt
    • datalog/tests/examples/revpath.rkt
    • datalog/lang/reader.rkt
    • datalog/tests/pretty.rkt
    • datalog/tests/private/lex.rkt
    • datalog/tests/private/unify.rkt
    • datalog/tests/examples/ancestor.rkt
    • datalog/tests/examples/true.rkt
    • datalog/tests/paren-examples/sym.rkt
    • datalog/tests/paren-examples/bidipath.rkt
    • datalog/tests/paren-examples/long.rkt
    • datalog/stx.rkt
    • datalog/tests/racket.rkt
    • datalog/tests/examples/student.rkt
    • datalog/runtime.rkt
    • datalog/tests/paren-examples/path.rkt
    • datalog/tests/paren-examples/req.rkt
    • datalog/scribblings/racket.scrbl
    • datalog/sexp/lang.rkt
    • datalog/tests/paren-examples/says.rkt
    • datalog/tests/pr/5.rkt
    • datalog/tests/examples/sym.rkt
    • datalog/tests/runtime.rkt
    • datalog/tests/pr/1.rkt
    • datalog/serialize.rkt
    • datalog/tests/paren-examples/laps.rkt
    • datalog/tests/private/subst.rkt