Skip navigation links

Package edu.harvard.seas.pl.abcdatalog.engine.topdown

This package contains implementations of standard top-down Datalog evaluation algorithms.

See: Description

Package edu.harvard.seas.pl.abcdatalog.engine.topdown Description

This package contains implementations of standard top-down Datalog evaluation algorithms. The implementations here should be viewed as less-trustworthy than the bottom-up implementations in edu.harvard.seas.pl.abcdatalog.engine.bottomup.sequential and edu.harvard.seas.pl.abcdatalog.engine.bottomup.concurrent.
Skip navigation links

Copyright © 2021. All rights reserved.