public void AddCondition(Relation condition, Pair[] vars)
{
this.conditions.Add(condition.Query(this.SaltVars(vars)));
this.relations.Add(condition);
}
public LazyRelationGoal(Relation relation, Pair[] variables, bool rules = true)
{
this.relation = relation;
this.variables = variables;
this.rules = rules;
}