#include <clingo.hh>
#include <sstream>

using namespace Clingo;

class TestApp : public Clingo::Application, private SolveEventHandler {
public:
    void main(Control &ctl, StringSpan files) override {
                ctl.add("base",{}, R"(#theory csp {
                               dom_term {};
                               &dom/0 : dom_term, any}.)");
        ctl.add("base",{}, "&dom {0}.");

        ctl.ground({{"base", {}}});

        ctl.cleanup();
        
        auto backend = ctl.backend();
    }
};

int main(int argc, char *argv[]) {
    TestApp app;
    return Clingo::clingo_main(app, {argv + 1, static_cast<size_t>(argc - 1)});
}