datalog

An implementation of the Datalog language

Build status:

Authors
Documentation
Tags
Last updatedFriday, March 30th, 2018 12:52:53pm (UTC)
Ring0
ConflictsNone
Dependencies
Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgit://github.com/racket/datalog96e36d41381de071d7d4f4fef4841b91451ada40
    Last checkedSaturday, June 23rd, 2018 3:42:22pm (UTC)
    Last editedThursday, December 4th, 2014 2:19:43am (UTC)
    Modules
    • datalog/tests/pretty.rkt
    • datalog/tests/paren-examples/revpath.rkt
    • datalog/tests/pr/5.rkt
    • datalog/private/lex.rkt
    • datalog/lang/reader.rkt
    • datalog/sexp/lang/reader.rkt
    • datalog/stx.rkt
    • datalog/tests/examples/path.rkt
    • datalog/tests/paren-examples/long.rkt
    • datalog/tests/examples/hello.rkt
    • datalog/tests/examples/revpath.rkt
    • datalog/eval.rkt
    • datalog/private/compiler.rkt
    • datalog/pretty.rkt
    • datalog/runtime.rkt
    • datalog/tests/runtime.rkt
    • datalog/tests/private/env.rkt
    • datalog/tests/paren-examples/tutorial.rkt
    • datalog/tests/paren-examples/true.rkt
    • datalog/tests/private/variant.rkt
    • datalog/tests/private/lex.rkt
    • datalog/tests/paren-examples/sym.rkt
    • datalog/scribblings/datalog.scrbl
    • datalog/tests/private/unify.rkt
    • datalog/lang/lang-info.rkt
    • datalog/tests/paren-examples/ancestor.rkt
    • datalog/tests/private/subst.rkt
    • datalog/tool/syntax-color.rkt
    • datalog/tests/examples/bidipath.rkt
    • datalog/tests/parse.rkt
    • datalog/tests/racket.rkt
    • datalog/tests/pr/6.rkt
    • datalog/tests/util.rkt
    • datalog/ast.rkt
    • datalog/tests/examples/ancestor.rkt
    • datalog/private/pprint.rkt
    • datalog/tests/examples/empty.rkt
    • datalog/tests/examples/pq.rkt
    • datalog/lang/configure-runtime.rkt
    • datalog/serialize.rkt
    • datalog/tool/submit.rkt
    • datalog/tests/paren-examples/req.rkt
    • datalog/sexp/lang.rkt
    • datalog/tests/test-docs-complete.rkt
    • datalog/tests/main.rkt
    • datalog/tests/paren-examples/bidipath.rkt
    • datalog/tests/examples/sym.rkt
    • datalog/scribblings/tutorial.scrbl
    • datalog/tests/paren-examples/says.rkt
    • datalog/tests/ast.rkt
    • datalog/tests/paren-examples/add1.rkt
    • datalog/tests/examples/laps.rkt
    • datalog/tests/eval.rkt
    • datalog/tests/examples/true.rkt
    • datalog/tests/paren-examples/pq.rkt
    • datalog/tests/pr/1.rkt
    • datalog/main.rkt
    • datalog/tests/paren-examples/laps.rkt
    • datalog/tests/examples/tutorial.rkt
    • datalog/private/env.rkt
    • datalog/tests/paren-examples/empty.rkt
    • datalog/tests/examples/long.rkt
    • datalog/tests/paren-examples/path.rkt
    • datalog/private/variant.rkt
    • datalog/scribblings/utils.rkt
    • datalog/scribblings/racket.scrbl
    • datalog/private/subst.rkt
    • datalog/parse.rkt
    • datalog/private/unify.rkt
    • datalog/tests/examples/says.rkt
    • datalog/tests/tool/syntax-color.rkt
    • datalog/tests/examples/student.rkt