Hi Liliana,

Was your patch series sent by mistake to this issue :-)?

I see this one is open without patches:

[PATCH 0/4] More clingo stuff.
https://issues.guix.gnu.org/68713

Thanks,
Oleg