Skip to content

c-cube/datalog

Error
Looks like something went wrong!

About

An in-memory datalog implementation for OCaml.

c-cube.github.io/datalog

Topics

memoization ocaml prolog datalog logic-programming

Resources

Readme

License

BSD-2-Clause license
Activity

Stars

270 stars

Watchers

18 watching

Forks

24 forks
Report repository

Releases 1

0.7 Latest
Oct 16, 2024

Packages

No packages published

Contributors 5

Languages