PROJECTOR is an automated rewriting system for non-ground logic programs under answer set semantics.
It is designed to improve the performance of answer set programming solutions. Its ideas stem from relational database query optimization techniques.
PROJECTOR version 1.0.0 is available for download here (under MIT licence):
Nicholas Hippen, Yuliya Lierler. Automatic Program Rewriting in Non-Ground Answer Set Programs (PDF). technical report (2018).
Comments, questions, and/or bugs can be reported to Nicholas Hippen and Yuliya Lierler.
Related systems: lpopt.