PREDICTOR is a system capable of estimating the grounding size (number of ground rules in the grounded program) for non-ground answer set programs. It performs a statistical analysis programs to make inferences. Its ideas stem from estimates used in join-order query optimization for relational databases.
PREDICTOR version 1.0.0 is available for download here (under MIT license):
Theoretical and practical groundings for PREDICTOR can be found in:
- Grounding Size Predictions for Answer Set Programs (link), Nicholas Hippen, Master Thesis, University of Nebraska Omaha (2019)
- Estimating Grounding Sizes of Logic Programs under Answer Set Semantics (link), Nicholas Hipen and Yuliya Lierler, technical report (2020)