from clingo.symbol import Number
from clingo.control import Control

class Context:
    def inc(self, x):
        return Number(x.number + 1)

    def seq(self, x, y):
        return [x, y]

def on_model(m):
    print(m)

ctl = Control()
ctl.add("base", [], """\
p(@inc(10)).
q(@seq(1,2)).
""")

ctl.ground(
    [("base", [])],
    context=Context())

s = ctl.solve(on_model=on_model)

print(s)