A naïve, bottom-up Datalog interpreter based on explicit substitutions, rather than relational joins. Just an experiment, not an efficient engine!
A naïve, bottom-up Datalog interpreter based on explicit substitutions, rather than relational joins. Just an experiment, not an efficient engine!
cabal run test:dlsubst-test -- --hedgehog-discards 1024Transitive closure:
echo "a,b\nb,c" | cabal run exe:dlsubstA naïve, bottom-up Datalog interpreter based on explicit substitutions, rather than relational joins. Just an experiment, not an efficient engine!
MIT License