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.
Our Campus. Otherwise Known as Omaha.
The University of Nebraska does not discriminate based on race, color, ethnicity, national origin, sex, pregnancy, sexual orientation, gender identity, religion, disability, age, genetic information, veteran status, marital status, and/or political affiliation in its programs, activities, or employment. Learn more about Equity, Access and Diversity.