datalog

An implementation of the Datalog language

Build status: valid license

Documentation README Code
Authors
Documentation
Tags
License
Last updatedThursday, May 11th, 2023 1:47:10pm (UTC)
Ring0
ConflictsNone
Dependencies
Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgit://github.com/racket/datalog3a30258c7a11f6f1836f52590e26542c11865714
    Last checkedSaturday, April 27th, 2024 8:00:52am (UTC)
    Last editedThursday, December 4th, 2014 2:19:43am (UTC)
    Date addedN/A
    Modules
    • datalog/sexp/lang.rkt
    • datalog/private/subst.rkt
    • datalog/tests/paren-examples/tutorial.rkt
    • datalog/scribblings/tutorial.scrbl
    • datalog/tests/test-docs-complete.rkt
    • datalog/scribblings/racket.scrbl
    • datalog/lang/configure-runtime.rkt
    • datalog/parse.rkt
    • datalog/tool/submit.rkt
    • datalog/scribblings/utils.rkt
    • datalog/runtime.rkt
    • datalog/tests/paren-examples/true.rkt
    • datalog/tests/examples/sym.rkt
    • datalog/tests/pretty.rkt
    • datalog/serialize.rkt
    • datalog/tests/examples/laps.rkt
    • datalog/tests/examples/tutorial.rkt
    • datalog/pretty.rkt
    • datalog/tests/main.rkt
    • datalog/tests/pr/6.rkt
    • datalog/lang/reader.rkt
    • datalog/private/variant.rkt
    • datalog/tests/tool/syntax-color.rkt
    • datalog/tests/racket.rkt
    • datalog/tests/examples/fac.rkt
    • datalog/tests/paren-examples/idpath.rkt
    • datalog/stx.rkt
    • datalog/private/pprint.rkt
    • datalog/tests/paren-examples/empty.rkt
    • datalog/tests/private/lex.rkt
    • datalog/tests/eval.rkt
    • datalog/tests/runtime.rkt
    • datalog/scribblings/datalog.scrbl
    • datalog/tests/paren-examples/says.rkt
    • datalog/tests/examples/long.rkt
    • datalog/tests/examples/revpath.rkt
    • datalog/private/compiler.rkt
    • datalog/tests/paren-examples/long.rkt
    • datalog/tests/examples/student.rkt
    • datalog/tests/parse.rkt
    • datalog/tests/examples/path.rkt
    • datalog/tests/paren-examples/laps.rkt
    • datalog/tests/paren-examples/pq.rkt
    • datalog/tests/private/env.rkt
    • datalog/lang/lang-info.rkt
    • datalog/sexp/lang/reader.rkt
    • datalog/tests/paren-examples/ancestor.rkt
    • datalog/tool/syntax-color.rkt
    • datalog/tests/paren-examples/add1.rkt
    • datalog/tests/util.rkt
    • datalog/tests/private/unify.rkt
    • datalog/tests/paren-examples/req.rkt
    • datalog/tests/examples/bidipath.rkt
    • datalog/tests/examples/pq.rkt
    • datalog/tests/examples/true.rkt
    • datalog/private/unify.rkt
    • datalog/private/lex.rkt
    • datalog/ast.rkt
    • datalog/tests/examples/hello.rkt
    • datalog/tests/examples/idpath.rkt
    • datalog/tests/private/subst.rkt
    • datalog/tests/examples/says.rkt
    • datalog/tests/paren-examples/path.rkt
    • datalog/eval.rkt
    • datalog/tests/paren-examples/bidipath.rkt
    • datalog/tests/paren-examples/sym.rkt
    • datalog/tests/private/variant.rkt
    • datalog/tests/examples/ancestor.rkt
    • datalog/tests/pr/5.rkt
    • datalog/tests/pr/1.rkt
    • datalog/tests/paren-examples/revpath.rkt
    • datalog/tests/ast.rkt
    • datalog/private/env.rkt
    • datalog/tests/examples/empty.rkt
    • datalog/main.rkt