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 programing solutions. Its ideas stem from relational database query optimization techniques.
PROJECTOR version 1.0.0 is available for download here (under MIT lisence):
Nicholas Hippen, Yuliya Lierler. Automatic Program Rewriting in Non-Ground Answer Set Programs (PDF). technical report (2018).
Related systems: lpopt.