Indexed Artifacts (16.1M)

Popular Categories

Artifacts using core.logic version 0.8.1

A model querying and transformation library for TGraphs and EMF models developed as part of Tassilo Horn's dissertation studies.
Last Release on Jan 5, 2019
Term rewriting library
Last Release on Mar 18, 2013

3. PLDB

pldb » pldbEPL

PLDB - a persistent logic database for core.logic
Last Release on Jun 26, 2013