English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

The Caml Hump: Datalog

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