showing theory atoms about clingo HOT 1 CLOSED

from clingo.symbol import Function
from clingo.control import Control

ctl = Control()

sym_a = Function("a")
sym_b = Function("b")

with ctl.backend() as backend:
    atm_a = backend.add_atom(sym_a)
    backend.add_rule([atm_a])

class Context:
    def show(self):
        return sym_b

ctl.add("#show @show().")
ctl.ground(context=Context())

with ctl.solve(yield_=True) as hnd:
    for m in hnd:
        print(m)
    hnd.get()