# c-cube/datalog

<https://repo.masters-masters.com/en/repos/c-cube/datalog>

[Home](https://repo.masters-masters.com/en) › [c-cube](https://repo.masters-masters.com/en/owners/c-cube) › [datalog](https://repo.masters-masters.com/en/repos/c-cube/datalog)

c-cube/datalog has 286 stars on GitHub. Its RepoMasters card: Alpha tier. An in-memory datalog implementation for OCaml. Language: Prolog.

| Field | Value |
| --- | --- |
| Owner | [c-cube](https://repo.masters-masters.com/en/owners/c-cube) |
| Stars | 286 |
| Forks | 27 |
| Language | [Prolog](https://repo.masters-masters.com/en/languages/prolog) |
| License | BSD-2-Clause |
| Created | 2012 |
| Topics | datalog, prolog, ocaml, logic-programming, memoization |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [c-cube/datalog](https://github.com/c-cube/datalog) |

## Repository

An in-memory datalog implementation for OCaml.

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by c-cube

- [c-cube/ocaml-containers · ★ 522 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/c-cube/ocaml-containers)
- [c-cube/qcheck · ★ 407 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/c-cube/qcheck)
- [c-cube/iter · ★ 128 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/c-cube/iter)

## Nearby in Prolog

- [rollecode/weed · ★ 346 · Prolog · Alpha](https://repo.masters-masters.com/en/repos/rollecode/weed)
- [Seeker04/plwm · ★ 294 · Prolog · Alpha](https://repo.masters-masters.com/en/repos/Seeker04/plwm)
- [dragonwasrobot/learn-prolog-now-exercises · ★ 293 · Prolog · Alpha](https://repo.masters-masters.com/en/repos/dragonwasrobot/learn-prolog-now-exercises)
- [andrealani/COOLFluiD · ★ 269 · Prolog · Alpha](https://repo.masters-masters.com/en/repos/andrealani/COOLFluiD)
- [SuperDisk/tar.pl · ★ 264 · Prolog · Alpha](https://repo.masters-masters.com/en/repos/SuperDisk/tar.pl)
- [pebri86/esplay\_micro\_hardware · ★ 261 · Prolog · Alpha](https://repo.masters-masters.com/en/repos/pebri86/esplay_micro_hardware)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.