Timely Coherent Logic
A solver for Coherent Logic that uses differential dataflow to match rules incrementally.
An implementation of coherent logic with differential dataflow
A solver for Coherent Logic that uses differential dataflow to match rules incrementally.
An implementation of coherent logic with differential dataflow
MIT License