Datalog
A small datalog fixpoint engine in OCaml, designed for incremental problems with lots of rules.
[ Homepage ]
| Author: | Simon Cruanes. |
| Last modification date: | 31-Jan-2013 |
| Version: | 0.1 |
| Development status: | Beta |
| Kind: | Libraries :: Native OCaml libraries |
| License: | Open Source :: BSD |
| Topic: | Programming languages :: Constraint programming |
| Homepage: | https://github.com/c-cube/datalog |