An Experiment on Tabled Evaluation for Hidden Predicates
Pedro Cabalar, Martín Diéguez · 2011
Abstract. Most Answer Set Programming grounders allow filtering the information shown in each answer set by selecting which predicates must be shown or become hidden instead. Full grounding of hidden predicates (usually introduced for auxiliary computations) is in many cases not necessary. In the paper, we consider the possibility of avoiding grounding of hidden (stratified) predicates by using tabled evaluation: a top-down strategy combined with an extension table that records the previously solved goals. 1