[Language Design] Introduce #show directives to allow filtering answer sets by predicate names.

[iensen]

E.g, this program: sorts

s = {a}.

predicates p(#s). q(#s). rules p(a). q(a).

show p.

When being run in SPARC with an option -A should only output p(a) in answer sets.