std::string Term::toString() const { return FllExporter().toString(this); }
std::string RuleBlock::toString() const { return FllExporter("", "; ").toString(this); }
std::string InputVariable::toString() const { return FllExporter().toString(this); }
std::string OutputVariable::toString() const { return FllExporter("", "; ").toString(this); }