A interface to an ongoing Datalog evaluation that allows for callbacks to be registered that are invoked when relevant new facts are derived and for new EDB facts to be added in the midst of evaluation.
A callback that is registered with a Datalog executor and is invoked during evaluation.
A Datalog executor that runs the actual Datalog evaluation concurrently in separate threads.
A basic demonstration of how to use a Datalog executor.
Copyright © 2021. All rights reserved.