Fixed incorrect auxiliary rule for derived predicates.

This commit is contained in:
Patrick Lühne 2016-12-08 00:54:13 +01:00
parent 6355921e59
commit 66cb09c8e4
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF

View File

@ -244,7 +244,7 @@ void TranslatorASP::translateDerivedPredicates() const
<< output::Function("contains") << "("
<< output::Keyword("derivedVariable") << "(" << output::Variable("X") << "), "
<< output::Keyword("value") << "(" << output::Variable("X") << ", " << output::Variable("B") << ")) :- "
<< output::Function("variable") << "(" << output::Keyword("derivedVariable") << "(" << output::Variable("X") << ")), "
<< output::Function("derivedVariable") << "(" << output::Keyword("derivedVariable") << "(" << output::Variable("X") << ")), "
<< output::Function("boolean") << "(" << output::Variable("B") << ")."
<< std::endl;
}